Søgeresultater - parallel programs reaching functionality function https

Søg alternativer:
reaching functionality » adding functionality , teaching functional , defining functionality
functionality function » functionals function , functionaries function , functional functions
parallel programs » parallel programming
programs reaching » programs teaching , program teaching , programme teaching
function https » functions https , fiction https

Recent Advances in Operator Theory and Its Applications The Israel Gohberg Anniversary Volume /

Udgivet 2005

Indholdsfortegnelse: “... Regular J-inner Matrix-valued Functions and Inverse Problems for Canonical Systems -- Regularization...”
Få fuldtekst

Electronisk eBog

Computational Intelligence for Knowledge-Based System Design 13th IPMU Conference, Dortmund, Germany, June 28 - July 2, 2010. Proceedings /

Udgivet 2010

Indholdsfortegnelse: “... for Imprecise Linear Filtering -- Peakedness and Generalized Entropy for Continuous Density Functions...”
Få fuldtekst

Electronisk eBog

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice o...

Udgivet 2015

Indholdsfortegnelse: “... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”
Få fuldtekst

Electronisk eBog

Progress in Artificial Intelligence 12th Portuguese Conference on Artificial Intelligence, EPIA 2005, Covilha, Portugal, December 5-8, 2005, Proceedings /

Udgivet 2005

Indholdsfortegnelse: “... Logic to Logic Programs -- Preference Revision Via Declarative Debugging -- Revised Stable Models – A...”
Få fuldtekst

Electronisk eBog

Algorithms - ESA 2008 16th Annual European Symposium, Karlsruhe, Germany, September 15-17, 2008, Proceedings /

Udgivet 2008

Indholdsfortegnelse: “... -- Approximating Multi-criteria Max-TSP -- An Integer Programming Algorithm for Routing Optimization in IP Networks...”
Få fuldtekst

Electronisk eBog

Autonomous Search

Udgivet 2012

Indholdsfortegnelse: “... -- Control-Based Clause Sharing in Parallel SAT Solving -- Learning Feature-Based Heuristic Functions....”
Få fuldtekst

Electronisk eBog

International Handbook of Occupational Therapy Interventions

Udgivet 2015

Indholdsfortegnelse: “... Function through Reaching and Grasping -- Joint Protection: Enabling Change in Musculoskeletal Conditions...”
Få fuldtekst

Electronisk eBog

Advances in Computer Systems Architecture 12th Asia-Pacific Conference, ACSAC 2007, Seoul, Korea, August 23-25, 2007, Proceedings /

Udgivet 2007

Indholdsfortegnelse: “... Approach for Speculative Parallel Threading -- Entropy-Based Profile Characterization and Classification...”
Få fuldtekst

Electronisk eBog

The Semantic Web - ISWC 2006 5th International Semantic Web Conference, ISWC 2006, Athens, GA, USA, November 5-9, 2006, Proceedings /

Udgivet 2006

Indholdsfortegnelse: “... Scientific Workflows -- Reaching Agreement over Ontology Alignments -- A Formal Model for Semantic Web...”
Få fuldtekst

Electronisk eBog

Indsnæver søgning