6456 search results - page 1020 / 1292 » Constraint Solving on Terms |
154
click to vote
ACMSE
2004
ACM
16 years 2 days ago
2004
ACM
This paper presents a distributed multi-robot system designed to solve a team-based search and destroy task. The project was divided into two phases. The initial phase was used to...
149
click to vote
ACMSE
2004
ACM
16 years 2 days ago
2004
ACM
Usability has often been sold as the silver bullet for solving the problems of unprofitable online stores. Although better usability will generally improve these sites and their p...
178
click to vote
ACMSE
2004
ACM
16 years 2 days ago
2004
ACM
Recent years have witnessed an explosion in the availability of news articles on the World Wide Web. Although searchengines’ algorithms have made it easier to locate these docum...
156
click to vote
COMPGEOM
2004
ACM
16 years 1 days ago
2004
ACM
Robustness problems due to the substitution of the exact computation on real numbers by the rounded floating point arithmetic are often an obstacle to obtain practical implementa...
170
click to vote
DAC
2004
ACM
16 years 1 days ago
2004
ACM
As the technology migrates into the deep submicron manufacturing (DSM) era, the critical dimension of the circuits is getting smaller than the lithographic wavelength. The unavoid...