527 search results - page 80 / 106 » Towards a Natural Way of Reasoning |
GIS
2005
ACM
14 years 9 months ago
2005
ACM
The R*-tree, as a state-of-the-art spatial index, has already found its way into commercial systems like Oracle. In this paper, we aim at improving query performance of the R*tree...
CHI
2006
ACM
14 years 8 months ago
2006
ACM
Modern graphical user interfaces support the direct manipulation of objects and efficient selection of objects is an integral part of this user interface paradigm. For the selecti...
PERCOM
2007
ACM
14 years 8 months ago
2007
ACM
This paper describes SHAD, a novel architecture for security in pervasive computing environments, and a prototype implementation. SHAD is a Peer-to-Peer and humancentered security...
HASKELL
2009
ACM
14 years 3 months ago
2009
ACM
Functional reactive programming (FRP) has simple and powerful semantics, but has resisted efficient implementation. In particular, most past implementations have used demand-driv...
LICS
2007
IEEE
14 years 2 months ago
2007
IEEE
Set theories are traditionally based on first-order logic. We show that in a constructive setting, basing a set theory on a dependent logic yields many benefits. To this end, we...