Výsledky vyhledávání - constructive computation programming revision concepts care

Alternativní vyhledávání:
constructive computation » constructive communication , constructive communications , construction competitions
computation programming » communication programming , computation programmatic , computing programming
programming revision » programming decision , programming revising , programming decisions
revision concepts » vision concepts , visions concepts , supervision concepts
concepts care » concepts case , concepts cases , concepts karen

Graph-Theoretic Concepts in Computer Science 38th International Workshop, WG 2012, Jerusalem, Israel, June 26-28, 2012, Revised Selcted Papers /

Vydáno 2012

Obsah: “...Account on Intervals -- Constructing Resilient Structures in Graphs: Rigid vs. Competitive Fault...”
Získat plný text

Elektronický zdroj E-kniha

Inductive Logic Programming 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 16-18,2012, Revised Selected papers /

Vydáno 2013

Obsah: “... -- Itemset-Based Variable Construction in Multi-relational Supervised Learning -- A Declarative Modeling...”
Získat plný text

Elektronický zdroj E-kniha

Computational Logic in Multi-Agent Systems 8th International Workshop, CLIMA VIII, Porto, Portugal...

Vydáno 2008

Obsah: “... -- Language Constructs for Multi-agent Programming -- -Tropos -- A Heuristic Approach to P2P Negotiation...”
Získat plný text

Elektronický zdroj E-kniha

Inductive Logic Programming 18th International Conference, ILP 2008 Prague, Czech Republic, September 10-12, 2008, Proceedings /

Vydáno 2008

Obsah: “... Revision from Examples -- DL-FOIL Concept Learning in Description Logics -- Feature Discovery with Type...”
Získat plný text

Elektronický zdroj E-kniha

Implementation and Application of Functional Languages 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers /

Vydáno 2012

Obsah: “...-In-Time Compiler for Haskell -- Lazy Generation of Canonical Test Programs -- Generic Monadic Constructs...”
Získat plný text

Elektronický zdroj E-kniha

Business Process Management Workshops BPM 2009 International Workshops, Ulm, Germany, September 7, 2009, Revised Papers /

Vydáno 2010

Obsah: “... International Workshop on Empirical Research in Business Process Management (ER-BPM 2009) -- The Concept...”
Získat plný text

Elektronický zdroj E-kniha

Mathematical Foundations of Computer Science 2012 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012, Proceedings /

Vydáno 2012

Obsah: “... Constraint Satisfaction Games -- A Polynomial-Time Algorithm for Computing the Maximum Common -- Subgraph...”
Získat plný text

Elektronický zdroj E-kniha

Graph Transformations 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008, Proceedings /

Vydáno 2008

Obsah: “... -- Applications of Graph Transformation -- Mobile Agents Implementing Local Computations in Graphs -- A...”
Získat plný text

Elektronický zdroj E-kniha

CONCUR 2008 - Concurrency Theory 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008, Proceedings /

Vydáno 2008

Obsah: “...Invited Papers -- Beyond Nash Equilibrium: Solution Concepts for the 21st Century -- Service...”
Získat plný text

Elektronický zdroj E-kniha

Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings /

Vydáno 2013

Obsah: “... Verification with Data -- Programming Without Borders -- Regular Papers -- Informative Types and Effects...”
Získat plný text

Elektronický zdroj E-kniha

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

Vydáno 2008

Obsah: “...: Representational Frameworks for Discrete Dynamic Systems -- Constructing Web Corpora through Topical Web...”
Získat plný text

Elektronický zdroj E-kniha

Testing of Software and Communicating Systems 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008, Tokyo, Japan, June 10-13, 2008 Pr...

Vydáno 2008

Obsah: “... Verification of C Programs -- Test Construction for Mathematical Functions -- Model-Based Testing Service...”
Získat plný text

Elektronický zdroj E-kniha

Artificial Intelligence: Theories, Models and Applications 5th Hellenic Conference on AI, SETN 2008, Syros, Greece, October 2-4, 2008, Proceedings /

Vydáno 2008

Obsah: “...Invited Talks -- Grounding Concrete Motion Concepts with a Linguistic Framework -- Emotion...”
Získat plný text

Elektronický zdroj E-kniha

Abstract State Machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings /

Vydáno 2008

Obsah: “... -- A Concept-Driven Construction of the Mondex Protocol Using Three Refinements -- A Scenario-Based...”
Získat plný text

Elektronický zdroj E-kniha

The Semantic Web 3rd Asian Semantic Web Conference, ASWC 2008, Bangkok, Thailand, December 8-11, 2008. Proceedings /

Vydáno 2008

Obsah: “...-Based Partitioning -- Versatile Semantic Modeling of Frame Logic Programs under Answer Set Semantics...”
Získat plný text

Elektronický zdroj E-kniha

Algebraic Biology Third International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-August 2, 2008, Proceedings /

Vydáno 2008

Obsah: “... -- Constructing a Knowledge Base for Gene Regulatory Dynamics by Formal Concept Analysis Methods....”
Získat plný text

Elektronický zdroj E-kniha

Advanced Data Mining and Applications 4th International Conference, ADMA 2008, Chengdu, China, October 8-10, 2008, Proceedings /

Vydáno 2008

Obsah: “...Keynotes -- An Introduction to Transfer Learning -- Autonomy-Oriented Computing (AOC), Self...”
Získat plný text

Elektronický zdroj E-kniha

Advances in Intelligent Data Analysis XI 11th International Symposium, IDA 2012, Helsinki, Finland, October 25-27, 2012, Proceedings /

Vydáno 2012

Obsah: “... Neural Spike Train Data -- Online Techniques for Dealing with Concept Drift in Process Mining...”
Získat plný text

Elektronický zdroj E-kniha

Upřesnit hledání