Resultados da pesquisa - ((functions computation) or (functions computational)) programming evaluating based versus*

Pesquisas alternativas:
functions computational » function computation , directions computational , section computational
programming evaluating » programming evaluation , programming validating , programming evolving
functions computation » function computation , functions composition , function composition
evaluating based » evaluations based , evaluation based , evaluating cases
based versus » based virus , board versus , feed versus

Service-Oriented Computing - ICSOC 2006 4th International Conference, Chicago, IL, USA, December 4-7, Proceedings /

Publicado em 2006

Sumário: “... and Non-functional Requirements -- SOCK: A Calculus for Service Oriented Computing -- A Priori Conformance...”
Obter o texto integral

Recurso Electrónico livro electrónico

Information Processing and Management of Uncertainty in Knowledge-Based Systems 13th International...

Publicado em 2010

Sumário: “...-Based Equality with Lazy Evaluation -- Progressive Reasoning for Complex Dialogues among Agents...”
Obter o texto integral

Recurso Electrónico livro electrónico

Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings /

Publicado em 2008

Sumário: “... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”
Obter o texto integral

Recurso Electrónico livro electrónico

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

Publicado em 2005

Sumário: “... -- Decision on Replacing Components of Security Functions in COTS-Based Information Systems -- Best Papers...”
Obter o texto integral

Recurso Electrónico livro electrónico

Computational Science and Its Applications -- ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, July 24-27, 2013, Proceedings, Part I /

Publicado em 2013

Sumário: “... Function Theory.- A Genetic Algorithm for the TOPdTW at Operating Rooms.- A Computational Study...”
Obter o texto integral

Recurso Electrónico livro electrónico

SOFSEM 2005: Theory and Practice of Computer Science 31st Conference on Current Trends in Theory...

Publicado em 2005

Sumário: “... Evaluation -- Local Computations on Closed Unlabelled Edges: The Election Problem and the Naming Problem -- A...”
Obter o texto integral

Recurso Electrónico livro electrónico

Informatics Education - The Bridge between Using and Understanding Computers International...

Publicado em 2006

Sumário: “... Informatics -- Bridging the Gap Between School Computing and the “Real World” -- Programming Versus...”
Obter o texto integral

Recurso Electrónico livro electrónico

Beyond Knowledge: The Legacy of Competence Meaningful Computer-based Learning Environments /

Publicado em 2008

Sumário: “... -- Interpersonal Knowledge in Virtual Seminars -- Individual Versus Group Learning as a Function of Task Complexity...”
Obter o texto integral

Recurso Electrónico livro electrónico

Sustainable Internet Third Asian Internet Engineering Conference, AINTEC 2007, Phuket, Thailand, November 27-29, 2007, Proceedings /

Publicado em 2007

Sumário: “... Home Agent Migration to Mobile IPv6 Based Protocols -- Experimental Evaluation of EAP Performance...”
Obter o texto integral

Recurso Electrónico livro electrónico

Parallel Processing and Applied Mathematics, Part II 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Proceedings /

Publicado em 2010

Sumário: “... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”
Obter o texto integral

Recurso Electrónico livro electrónico

AI 2008: Advances in Artificial Intelligence 21st Australasian Joint Conference on Artificial Intelligence, Auckland, New Zealand, December 3-5, 2008, Proceedings /

Publicado em 2008

Sumário: “... Global Path Planning in Time Varying Environments Based on a Cost Evaluation Function -- Grammar...”
Obter o texto integral

Recurso Electrónico livro electrónico

Bioinformatics Research and Applications Fourth International Symposium, ISBRA 2008, Atlanta, GA, USA, May 6-9, 2008, Proceedings /

Publicado em 2008

Sumário: “... -- Improved Alignment of Protein Sequences Based on Common Parts -- Invited Keynote Talk: Computing P-Values...”
Obter o texto integral

Recurso Electrónico livro electrónico

Next Generation Teletraffic and Wired/Wireless Advanced Networking 6th International Conference, NEW2AN 2006, St. Petersburg, Russia, May 29-June 2, 2006, Proceedings /

Publicado em 2006

Sumário: “... Via Periodic Optimization and Linear Programming: The Case of Sigmoidal Utility Function -- TCP Versus...”
Obter o texto integral

Recurso Electrónico livro electrónico

AI*IA 2005: Advances in Artificial Intelligence 9th Congress of the Italian Association for Artificial Intelligence Milan, Italy, September 21-23, 2005, Proceedings /

Publicado em 2005

Sumário: “... -- Periodicity-Based Temporal Constraints -- A Survey of Problem Difficulty in Genetic Programming -- Intelligent...”
Obter o texto integral

Recurso Electrónico livro electrónico

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 17th International Workshop, PATMOS 2007, Gothenburg, Sweden, September 3-5, 2007, Proc...

Publicado em 2007

Sumário: “... - Low Power Design Techniques -- Template Vertical Dictionary-Based Program Compression Scheme...”
Obter o texto integral

Recurso Electrónico livro electrónico

Artificial Intelligence in Theory and Practice IFIP 19th World Computer Congress, TC 12: IFIP AI 2006 Stream, August 21-24, 2006, Santiago, Chile /

Publicado em 2006

Sumário: “... for Storage Area Networks (ACOSAN) -- Neural Nets -- Radial Basis Functions Versus Geostatistics in Spatial...”
Obter o texto integral

Recurso Electrónico livro electrónico

Intelligent Virtual Agents 5th International Working Conference, IVA 2005, Kos, Greece, September 12-14, 2005, Proceedings /

Publicado em 2005

Sumário: “... -- Natural Behavior of a Listening Agent -- Providing Computer Game Characters with Conversational Abilities...”
Obter o texto integral

Recurso Electrónico livro electrónico

Image and Signal Processing 4th International Conference, ICISP 2010, Québec, Canada, June 30 - July 2, 2010. Proceedings /

Publicado em 2010

Sumário: “... Based on Parametric Dynamic Programming -- Determining Dominant Frequency with Data-Adaptive Windows...”
Obter o texto integral

Recurso Electrónico livro electrónico

Breast Imaging 12th International Workshop, IWDM 2014, Gifu City, Japan, June 29 - July 2, 2014, Proceedings /

Publicado em 2014

Sumário: “... Shearlet-Based Filter for Low-Dose Mammography -- Evaluation of Human Contrast Sensitivity Functions Used...”
Obter o texto integral

Recurso Electrónico livro electrónico

Empirical Software Engineering Issues. Critical Assessment and Future Directions International Workshop, Dagstuhl Castle, Germany, June 26-30, 2006, Revised Papers /

Publicado em 2007

Sumário: “... Engineering -- Position Papers -- Aggregation of Empirical Evidence -- Empirical Evaluation in Software...”
Obter o texto integral

Recurso Electrónico livro electrónico

Refinar a Pesquisa