Søgeresultater - ((function computing) or (functions computational)) programming resolving method papers*

Søg alternativer:
functions computational » functions computation , function computation , directions computational
programming resolving » programming evolving , programming solving , programming removing
function computing » education computing , generation computing
resolving method » resolving methods , solving method , preserving method
method papers » method part

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

Udgivet 2007

Indholdsfortegnelse: “.../Dynamic Fault Trees and Event Trees Using Bayesian Networks -- Component Fault Tree Analysis Resolves...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2005

Indholdsfortegnelse: “... -- A Parallel and Distributed Method for Computing High Dimensional MOLAP -- An Improved ACO Algorithm...”
Få fuldtekst

Electronisk eBog

Computational Processing of the Portuguese Language 7th International Workshop, PROPOR 2006, Itatiaia, Brazil, May 13-17, 2006, Proceedings /

Udgivet 2006

Indholdsfortegnelse: “... Recognition in Portuguese -- Functional Aspects in Portuguese NER -- SIEMÊS – A Named-Entity Recognizer...”
Få fuldtekst

Electronisk eBog

Computer Aided Architectural Design Futures 2005 Proceedings of the 11th International CAAD Futures...

Udgivet 2005

Indholdsfortegnelse: “... Integer Programming -- Design Methods, Process and Creativity -- Examining Learning in Multiple Settings...”
Få fuldtekst

Electronisk eBog

Correct Hardware Design and Verification Methods 13th IFIP WG 10.5Advanced Research, Working...

Udgivet 2005

Indholdsfortegnelse: “... Verification of Automotive Systems -- Functional Approaches to Design Description -- Wired: Wire-Aware Circuit...”
Få fuldtekst

Electronisk eBog

Formal Techniques for Networked and Distributed Systems - FORTE 2005 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings /

Udgivet 2005

Indholdsfortegnelse: “... -- An Improved Conformance Testing Method -- Resolving Observability Problems in Distributed Test Architectures...”
Få fuldtekst

Electronisk eBog

Intelligent Information and Database Systems Second International Conference, ACIIDS 2010, Hue City, Vietnam, March 24-26, 2010, Proceedings, Part II /

Udgivet 2010

Indholdsfortegnelse: “... in SOKU Systems -- Autonomous Systems -- A Computational Analysis of Cognitive Effort -- An Algorithm...”
Få fuldtekst

Electronisk eBog

COTS-Based Software Systems 4th International Conference, ICCBSS 2005, Bilbao, Spain, February 7-11, 2005, Proceedings /

Udgivet 2005

Indholdsfortegnelse: “... -- Decision on Replacing Components of Security Functions in COTS-Based Information Systems -- Best Papers...”
Få fuldtekst

Electronisk eBog

Networked Digital Technologies, Part I Second International Conference, NDT 2010, Prague, Czech Republic /

Udgivet 2010

Indholdsfortegnelse: “... Functions -- Distributed Data-Mining in the LISp-Miner System Using Techila Grid -- Non-negative Matrix...”
Få fuldtekst

Electronisk eBog

KI 2007: Advances in Artificial Intelligence 30th Annual German Conference on AI, KI 2007, Osnabrück, Germany, September 10-13, 2007, Proceedings /

Udgivet 2007

Indholdsfortegnelse: “... -- Inductive Synthesis of Recursive Functional Programs -- Training on the Job — Collecting Experience...”
Få fuldtekst

Electronisk eBog

Indsnæver søgning