Le cluster Program proof - Semantics

Terms

2	Program proof
2	Semantics
2	Propositional logic
2	NP hard problem
2	Human
2	Learning algorithm
3	Graph theory
4	Database query

Associations

Freq.	Weight	Association
1	1	Program proof - Propositional logic
1	1	Propositional logic - Semantics
1	1	NP hard problem - Propositional logic
1	1	NP hard problem - Program proof
1	1	Human - Semantics
1	1	Human - Learning algorithm
1	1	Graph theory - Semantics
1	1	Graph theory - Human
1	1	Database query - Semantics
1	1	Database query - Human
1	1	Database query - Graph theory

Documents par ordre de pertinence

000185 (2004)	Serge Linckels [Allemagne] ; Christoph Meinel [Allemagne]	Automatic Interpretation of Natural Language for a Multimedia E-learning Tool
000229 (2000)	Vikraman Arvind [Inde] ; Johannes Köbler [Allemagne] ; Martin Mundhenk [Allemagne] ; Jacobo Torán [Allemagne]	Nondeterministic Instance Complexity and Hard-to-Prove Tautologies
000146 (2005)	Marc Becker [Allemagne] ; Hans Czap [Allemagne] ; Malte Poppensieker [Allemagne] ; Alexander Stotz [Allemagne]	Estimating Utility-Functions for Negotiating Agents: Using Conjoint Analysis as an Alternative Approach to Expected Utility Measurement
000178 (2004)	Mohammad Ghasemzadeh [Allemagne] ; Volker Klotz [Allemagne] ; Christoph Meinel [Allemagne]	Embedding Memoization to the Semantic Tree Search for Deciding QBFs
000073 (2006)	Henning Fernau [Allemagne]	edge dominating set : Efficient Enumeration-Based Exact Algorithms
000177 (2004)	Rainer Maximini [Allemagne] ; Andrea Fre Mann [Allemagne] ; Martin Schaaf [Allemagne]	Explanation Service for Complex CBR Applications
000179 (2004)	Matthias R. Brust [Luxembourg (pays)] ; Daniel Görgen [Allemagne] ; Christian Hutter [Luxembourg (pays)] ; Steffen Rothkugel [Luxembourg (pays)]	ADS as Information Management Service in an M-Learning Environment
000183 (2004)	Stefan Klink [Allemagne]	Improving Document Transformation Techniques with Collaborative Learned Term-Based Concepts
000233 (2000)	Ernst-Georg Haffner [Allemagne] ; Andreas Heuer [Allemagne] ; Uwe Roth [Allemagne] ; Thomas Engel [Allemagne] ; Christoph Meinel [Allemagne]	Advanced Studies on Link Proposals and Knowledge Retrieval of Hypertexts with CBR
000237 (1999)	Helmut Seidl [Allemagne] ; Andreas Neumann [Allemagne]	On Guarding Nested Fixpoints
000247 (1998)	Anna Slobodová [Allemagne]	On the composition problem for OBDDs with multiple variable orders
000255 (1997)	Klaus Jansen [Allemagne]	The optimum cost chromatic partition problem

Wicri

This area was generated with Dilib version V0.6.31.
Data generation: Sat Jul 22 16:29:01 2017. Site generation: Wed Feb 28 14:55:37 2024