Sciweavers

page 59997 / 60054
» publications
Sort
View
DRUMS
1998
Springer
15 years 2 months ago
Handling uncertainty in control of autonomous robots
Autonomous robots need the ability to move purposefully and without human intervention in real-world environments that have not been speci cally engineered for them. These environm...
Alessandro Saffiotti
SWAT
1998
Springer
110views Algorithms» more  SWAT 1998»
15 years 2 months ago
On the Number of Regular Vertices of the Union of Jordan Regions
Let C be a collection of n Jordan regions in the plane in general position, such that each pair of their boundaries intersect in at most s points, where s is a constant. Let U den...
Boris Aronov, Alon Efrat, Dan Halperin, Micha Shar...
TPHOL
1997
IEEE
15 years 2 months ago
An Isabelle-Based Theorem Prover for VDM-SL
This note lists references which address –in some way or another– the problems relating to formal manipulation of logical expressions where terms can fail to denote. Reference...
Sten Agerholm, Jacob Frost
SIGIR
1997
ACM
15 years 2 months ago
Learning Routing Queries in a Query Zone
Word usage is domain dependent. A common word in one domain can be quite infrequent in another. In this study we exploit this property of word usage to improve document routing. W...
Amit Singhal, Mandar Mitra, Chris Buckley
SIGMOD
1997
ACM
136views Database» more  SIGMOD 1997»
15 years 2 months ago
STRUDEL: A Web-site Management System
The Strudel system applies concepts from database management systems to the process of building Web sites. Strudel’s key idea is separating the management of the site’s data, t...
Mary F. Fernández, Daniela Florescu, Jaewoo...
« Prev « First page 59997 / 60054 Last » Next »