Hakutulokset - ((function computing) or (functions computation)) programming resolving method papers*

Tarkoititko:
functions computation » function computation , functions composition , function composition
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 /

Julkaistu 2007

Sisällysluettelo: “.../Dynamic Fault Trees and Event Trees Using Bayesian Networks -- Component Fault Tree Analysis Resolves...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2005

Sisällysluettelo: “... -- A Parallel and Distributed Method for Computing High Dimensional MOLAP -- An Improved ACO Algorithm...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2006

Sisällysluettelo: “... Recognition in Portuguese -- Functional Aspects in Portuguese NER -- SIEMÊS – A Named-Entity Recognizer...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2005

Sisällysluettelo: “... Integer Programming -- Design Methods, Process and Creativity -- Examining Learning in Multiple Settings...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2005

Sisällysluettelo: “... Verification of Automotive Systems -- Functional Approaches to Design Description -- Wired: Wire-Aware Circuit...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2005

Sisällysluettelo: “... -- An Improved Conformance Testing Method -- Resolving Observability Problems in Distributed Test Architectures...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2010

Sisällysluettelo: “... in SOKU Systems -- Autonomous Systems -- A Computational Analysis of Cognitive Effort -- An Algorithm...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2005

Sisällysluettelo: “... -- Decision on Replacing Components of Security Functions in COTS-Based Information Systems -- Best Papers...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2010

Sisällysluettelo: “... Functions -- Distributed Data-Mining in the LISp-Miner System Using Techila Grid -- Non-negative Matrix...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2007

Sisällysluettelo: “... -- Inductive Synthesis of Recursive Functional Programs -- Training on the Job — Collecting Experience...”
Hae kokoteksti

Elektroninen E-kirja

Rajaa hakua