1738 search results - page 95 / 348 » Local Consistency and SAT-Solvers |
150
Voted
WG
2004
Springer
15 years 11 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...
119
click to vote
FSTTCS
2003
Springer
15 years 10 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...
170
click to vote
ISMIS
1994
Springer
15 years 9 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...
161
click to vote
PVLDB
2008
15 years 5 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...
273
click to vote
AROBOTS
2011
15 years 18 days 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...