Resultats de la cerca - ((functions computational) or (functions computation)) programming session based text*

Alternatives de cerca:
functions computational » function computation , directions computational , section computational
functions computation » function computation , functions composition , function composition
programming session » programming series , programming service , programs session
session based » decision based , vision based , fusion based
based text » based test

Functional Imaging and Modeling of the Heart Third International Workshop, FIMH 2005, Barcelona, Spain, June 2-4, 2005, Proceedings /

Publicat 2005

Taula de continguts: “... Using Multi-View Active Appearance Models and Dynamic Programming -- SPASM: Segmentation of Sparse...”
Obtenir text complet

Electrònic eBook

Computer-Aided Innovation (CAI) IFIP 20th World Computer Congress, Proceedings of the Second Topical Session on Computer-Aided Innovation, WG 5.4/TC 5 Computer-Aided Innovation, September 7-10, 2008...

Publicat 2008

Taula de continguts: “...Podium Presentations -- Optimization with Genetic Algorithms and Splines as a way for Computer...”
Obtenir text complet

Electrònic eBook

Algorithms and Computation 21st International Symposium, ISAAC 2010, Jeju Island, Korea, December 15-17, 2010, Proceedings, Part I /

Publicat 2010

Taula de continguts: “... Computation and Communication -- Session 1A. Approximation Algorithm I -- Faster Algorithms for Feedback Arc...”
Obtenir text complet

Electrònic eBook

Network and Parallel Computing IFIP International Conference, NPC 2010, Zhengzhou, China, September 13-15, 2010, Proceedings /

Publicat 2010

Taula de continguts: “...-Performance of Multi-core Processors -- Internet-Based Virtual Computing Environment -- Session 1...”
Obtenir text complet

Electrònic eBook

Computer Aided Verification 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings /

Publicat 2008

Taula de continguts: “... -- Session 10: Program and Shape Analysis -- A Numerical Abstract Domain Based on Expression Abstraction...”
Obtenir text complet

Electrònic eBook

Computer Aided Verification 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings /

Publicat 2010

Taula de continguts: “...: Theory and Practice by Example -- Session 1. Software Model Checking -- Invariant Synthesis for Programs...”
Obtenir text complet

Electrònic eBook

Distributed Computing and Networking 8th International Conference, ICDCN 2006, Guwahati, India, December 27-30, 2006, Proceedings /

Publicat 2006

Taula de continguts: “... of Distributed Denial of Service Attacks -- Session II B: Grid and P2P Computing -- Auction Based Resource...”
Obtenir text complet

Electrònic eBook

Computer Safety, Reliability, and Security 26th International Conference, SAFECOMP 2007, Nurmberg, Germany, September 18-21, 2007, Proceedings /

Publicat 2007

Taula de continguts: “...-Based Safety Cases for Medical Devices: Opportunities and Challenges -- Impact of Security on Safety...”
Obtenir text complet

Electrònic eBook

Computer Safety, Reliability, and Security 27th International Conference, SAFECOMP 2008 Newcastle upon Tyne, UK, September 22-25, 2008 Proceedings /

Publicat 2008

Taula de continguts: “... or Functions? -- Security and Interoperability for MANETs and a Fixed Core -- Technology, Society and Risk...”
Obtenir text complet

Electrònic eBook

Computer Mathematics 9th Asian Symposium (ASCM2009), Fukuoka, December 2009, 10th Asian Symposium...

Publicat 2014

Taula de continguts: “... with multiplicity structures -- Signature-based Method of Deciding Program Termination -- High-precision eigenvalue...”
Obtenir text complet

Electrònic eBook

Dependable Computing - EDCC 2005 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005, Proceedings /

Publicat 2005

Taula de continguts: “... of Programming Language as a Diversity Seeking Decision -- Formal Safety Analysis of a Radio-Based Railroad...”
Obtenir text complet

Electrònic eBook

Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings /

Publicat 2007

Taula de continguts: “... for Java -- Verification of Hybrid Systems -- Session I: Compositionality -- SAT-Based Compositional...”
Obtenir text complet

Electrònic eBook

Reconfigurable Computing: Architectures, Tools and Applications 6th International Symposium, ARC 2010, Bangkok, Thailand, March 17-19, 2010, Proceedings /

Publicat 2010

Taula de continguts: “... Design -- A Reconfigurable Implementation of the Tate Pairing Computation over GF(2 m ) -- Session 3...”
Obtenir text complet

Electrònic eBook

Artificial Intelligence and Computational Intelligence International Conference, AICI 2010, Sanya, China, October 23-24, 2010, Proceedings, Part I /

Publicat 2010

Taula de continguts: “... Listed Companies Based on DEA -- Fuzzy Logic and Soft Computing -- Research on Differential Evolution...”
Obtenir text complet

Electrònic eBook

Artificial Intelligence and Computational Intelligence International Conference, AICI 2010, Sanya, China, October 23-24, 2010, Proceedings, Part II /

Publicat 2010

Taula de continguts: “... Based on Support Vector Machine Method -- Fuzzy Computation -- Application of Latin Hypercube Sampling...”
Obtenir text complet

Electrònic eBook

Network and Parallel Computing IFIP International Conference, NPC 2005, Beijing, China, November 30 - December 3, 2005, Proceedings /

Publicat 2005

Taula de continguts: “... Grid -- Session 1: Grid Computing -- CGSV: An Adaptable Stream-Integrated Grid Monitoring System...”
Obtenir text complet

Electrònic eBook

Computer Safety, Reliability, and Security 29th International Conference, SAFECOMP 2010, Vienna, Austria, September 14-17, 2010, Proceedings /

Publicat 2010

Taula de continguts: “... Measurement for Reactor Protection System Software Implemented in Function Block Diagram -- Session 6...”
Obtenir text complet

Electrònic eBook

Advances in Communication and Computing

Publicat 2015

Taula de continguts: “...A Discrete Event System Based Approach for Obfuscated Malware Detection -- Quantification...”
Obtenir text complet

Electrònic eBook

Advances in Visual Computing 6th International Symposium, ISVC 2010, Las Vegas, NV, USA, November 29-December 1, 2010, Proceedings, Part I /

Publicat 2010

Taula de continguts: “... Field -- Lattice-Boltzmann Water Waves -- A Texture-Based Approach for Hatching Color Photographs...”
Obtenir text complet

Electrònic eBook

Advances in Visual Computing First International Symposium, ISVC 2005, Lake Tahoe, NV, USA, December 5-7, 2005, Proceedings /

Publicat 2005

Taula de continguts: “...-occurrence Matrix Features for Texture-Based Image Retrieval -- An Automatic Relevance Feedback in Image...”
Obtenir text complet

Electrònic eBook

1
2
3
4
5
6
Següent »
[6]

Refinar cerca