3145 search results - page 449 / 629 » Key Improvements to XTR |
197
click to vote
SIGMOD
1994
ACM
15 years 10 months ago
1994
ACM
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...
165
click to vote
UIST
1994
ACM
15 years 10 months ago
1994
ACM
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...
135
click to vote
AIMSA
1990
Springer
15 years 10 months ago
1990
Springer
: Automated deduction systems can considerably be improved by replacing axioms with special purpose inference mechanisms. For example replacing in resolution based systems certain ...
148
click to vote
COCO
1990
Springer
15 years 10 months ago
1990
Springer
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...
163
click to vote
SIGGRAPH
1989
ACM
15 years 10 months ago
1989
ACM
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 ...