3510 search results - page 170 / 702 » Searching with numbers |
185
click to vote
AAMAS
2008
Springer
15 years 6 months ago
2008
Springer
As the scale and scope of distributed and multi-agent systems grow, it becomes increasingly important to design and manage the participants' interactions. The potential for b...
208
click to vote
DKE
2007
15 years 6 months ago
2007
The challenge in a database of evolving time series is to provide efficient algorithms and access methods for query processing, taking into consideration the fact that the databas...
159
click to vote
3DIM
2005
IEEE
16 years 7 days ago
2005
IEEE
This paper describes a fast, simultaneous alignment method for a large number of range images. Generally the most time-consuming task in aligning range images is searching corresp...
203
click to vote
TIME
2007
IEEE
16 years 26 days ago
2007
IEEE
We present a proof searching technique for the natural deduction calculus for the propositional linear-time temporal logic and prove its correctness. This opens the prospect to ap...
166
click to vote
AAAI
2006
15 years 8 months ago
2006
The scalability of graph-search algorithms can be greatly extended by using external memory, such as disk, to store generated nodes. We consider structured duplicate detection, an...