1738 search results - page 95 / 348 » Local Consistency and SAT-Solvers |
WG
2004
Springer
14 years 3 months ago
2004
Springer
The clique problem consists in determining whether an undirected graph G of order n contains a clique of order . In this paper we are concerned with the decremental version of cliq...
FSTTCS
2003
Springer
14 years 3 months ago
2003
Springer
Abstract. Transactions are commonly described as being ACID: Allor-nothing, Consistent, Isolated and Durable. However, although these words convey a powerful intuition, the ACID pr...
ISMIS
1994
Springer
14 years 2 months ago
1994
Springer
Main stream approaches in distributed artificial intelligence (DAI) are essentially logic-based. Little has been reported to explore probabilistic approach in DAI. On the other han...
PVLDB
2008
13 years 9 months ago
2008
The backend database system is often the performance bottleneck when running web applications. A common approach to scale the database component is query result caching, but it fa...
AROBOTS
2011
13 years 5 months ago
2011
— To effectively navigate in their environments and accurately reach their target locations, mobile robots require a globally consistent map of the environment. The problem of le...