1271 search results - page 149 / 255 » On Simulation-Checking with Sequential Systems |
117
click to vote
SODA
2004
ACM
15 years 2 months ago
2004
ACM
We consider the problem of storing an ordered dictionary data structure over a distributed set of nodes. In contrast to traditional sequential data structures, distributed data st...
86
Voted
PUK
2003
15 years 1 months ago
2003
Planning is known to be a difficult task. One of the approaches used to reduce this difficulty is problem decomposition under divide-and-conquer methodology. This paper introduce...
75
Voted
WSCG
2000
15 years 1 months ago
2000
The article offers a new approach towards the construction of recognition features independent of images' displacement or linear deformation. The distinguishing characteristi...
95
Voted
SODA
1994
ACM
15 years 1 months ago
1994
ACM
Response time delays caused by I/O are a major problem in many systems and database applications. Prefetching and cache replacement methods are attracting renewed attention because...
104
Voted
IJCAI
1989
15 years 1 months ago
1989
The Assumption-Based Truth Maintenance System (ATMS) is an important tool in A I . So far its wider use has been limited due to the enormous computational resources which it requi...