2664 search results - page 125 / 533 » Theory by Process |
CAV
2009
Springer
14 years 3 months ago
2009
Springer
The DPLL approach to the Boolean satisfiability problem (SAT) is a combination of search for a satisfying assignment and logical deduction, in which each process guides the other....
HICSS
2007
IEEE
14 years 2 months ago
2007
IEEE
Recently, the focus of IT outsourcing has been shifting from the “what” and “why” issues to “how” companies manage outsourcing process, during which the relationship m...
FSS
2008
13 years 8 months ago
2008
In this paper, we propose granularity as a new index to characterize the nonspecificity of a summative kernel. This index is intended to reflect the behavior of a kernel in the us...
WWW
2008
ACM
14 years 9 months ago
2008
ACM
In this paper we examine 1) the scope of geo-ontologies used especially for the purposes of information retrieval on the Web, 2) the core geographical concepts and their mutual re...
AAAI
2008
13 years 10 months ago
2008
Grounding is the task of reducing a first-order theory to an equivalent propositional one. Typical grounders work on a sentence-by-sentence level, substituting variables by domain...