877 search results - page 168 / 176 » Thomas: Practical Applications of Agents and Multiagent Syst... |
185
click to vote
AAAI
2008
15 years 8 months ago
2008
Currently, the most effective complete SAT solvers are based on the DPLL algorithm augmented by clause learning. These solvers can handle many real-world problems from application...
258
click to vote
AAAI
2010
15 years 7 months ago
2010
The problem of dividing a sequence of values into segments occurs in database systems, information retrieval, and knowledge management. The challenge is to select a finite number ...
185
click to vote
COOPIS
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper presents a specifically database-inspired approach (called DOGMA) for engineering formal ontologies, implemented as shared resources used to express agreed formal semant...
171
click to vote
ICFP
2009
ACM
16 years 25 days ago
2009
ACM
We address the problem of testing and debugging concurrent, distributed Erlang applications. In concurrent programs, race conditions are a common class of bugs and are very hard t...
171
click to vote
ISCA
2005
IEEE
15 years 11 months ago
2005
IEEE
Coherent read misses in shared-memory multiprocessors account for a substantial fraction of execution time in many important scientific and commercial workloads. We propose Tempor...