327 search results - page 35 / 66 » Model Checking and Evidence Exploration |
WEBI
2007
Springer
14 years 4 months ago
2007
Springer
The virtual world is comprised of data items related to each other in a variety of contexts. Often such relations can be represented as graphs that evolve over time. Examples incl...
AAAI
2006
13 years 11 months ago
2006
While it is commonly agreed that analogy is useful in human problem solving, exactly how analogy can and should be used remains an intriguing problem. VanLehn (1998) for instance ...
AAAI
1997
13 years 11 months ago
1997
Negotiation has been extensively discussed in gametheoretic, economic, and management science literatures for decades. Recent growing interest in electronic commerce has given inc...
BMCBI
2010
13 years 7 months ago
2010
Background: The Gene Ontology (GO) is a well known controlled vocabulary describing the biological process, molecular function and cellular component aspects of gene annotation. I...
SAT
2010
Springer
13 years 8 months ago
2010
Springer
This paper presents a detailed empirical study of local search for Boolean satisfiability (SAT), highlighting several interesting properties, some of which were previously unknown...