13277 search results - page 2305 / 2656 » An Approach to Clustering Abstracts |
167
click to vote
SIGIR
2000
ACM
15 years 12 months ago
2000
ACM
Abstract The explosion of content in distributed information retrieval (IR) systems requires new mechanisms to attain timely and accurate retrieval of unstructured text. In this pa...
184
Voted
CL
2000
Springer
15 years 12 months ago
2000
Springer
Abstract. Many key verification problems such as boundedmodel-checking,circuit verification and logical cryptanalysis are formalized with combined clausal and affine logic (i.e....
183
Voted
CP
2000
Springer
15 years 12 months ago
2000
Springer
Abstract. Among backtracking based algorithms for constraint satisfaction problems (CSPs), algorithms employing constraint propagation, like forward checking (FC) and MAC, have had...
180
click to vote
CP
2000
Springer
15 years 12 months ago
2000
Springer
Abstract. Variable elimination is the basic step of Adaptive Consistency 4 . It transforms the problem into an equivalent one, having one less variable. Unfortunately, there are ma...
205
click to vote
DARS
2000
Springer
15 years 12 months ago
2000
Springer
Abstract—In this paper we present a new approach to the problem of simultaneously localizing a group of mobile robots capable of sensing one another. Each of the robots collects ...