Sciweavers

3145 search results - page 449 / 629
» Key Improvements to XTR
Sort
View
SIGMOD
1994
ACM
175views Database» more  SIGMOD 1994»
15 years 10 months ago
Sleepers and Workaholics: Caching Strategies in Mobile Environments
In the mobile wireless computing environment of the future, a large number of users, equipped with low-powered palmtop machines, will query databases over wireless communication ch...
Daniel Barbará, Tomasz Imielinski
UIST
1994
ACM
15 years 10 months ago
Putting People First: Specifying Proper Names in Speech Interfaces
Communication is about people, not machines. But as firms and families alike spread out geographically, we rely increasingly on telecommunications tools to keep us "connected...
Matthew Marx, Chris Schmandt
AIMSA
1990
Springer
15 years 10 months ago
Compilation of Recursive Two-Literal Clauses into Unification Algorithms
: Automated deduction systems can considerably be improved by replacing axioms with special purpose inference mechanisms. For example replacing in resolution based systems certain ...
Hans Jürgen Ohlbach
COCO
1990
Springer
106views Algorithms» more  COCO 1990»
15 years 10 months ago
The Boolean Hierarchy and the Polynomial Hierarchy: a Closer Connection
We show that if the Boolean hierarchy collapses to level k, then the polynomial hierarchy collapses to BH3(k), where BH3(k) is the kth level of the Boolean hierarchy over P 2 . Th...
Richard Chang, Jim Kadin
SIGGRAPH
1989
ACM
15 years 10 months ago
Analytical methods for dynamic simulation of non-penetrating rigid bodies
A method for analytically calculating the forces between systems of rigid bodies in resting (non-colliding) contact is presented. The systems of bodies may either be in motion or ...
David Baraff