504 search results - page 84 / 101 » Definitional Reflection and the Completion |
CI
2000
13 years 7 months ago
2000
Kowalski and Sergot's Event Calculus (EC) is a simple temporal formalism that, given a set of event occurrences, derives the maximal validity intervals (MVIs) over which prop...
CC
1998
Springer
13 years 7 months ago
1998
Springer
Graph coloring is the dominant paradigm for global register allocation [8, 7, 4]. Coloring allocators use an interference graph, Z, to model conflicts that prevent two values from ...
CVPR
2008
IEEE
14 years 9 months ago
2008
IEEE
We present a new 3D scanning method using modulated phase-shifting. Optical scanning of complex objects or scenes with significant global light transport, such as subsurface scatt...
GIS
2004
ACM
14 years 8 months ago
2004
ACM
Spatial co-location patterns represent the subsets of events whose instances are frequently located together in geographic space. We identified the computational bottleneck in the...
WWW
2005
ACM
14 years 8 months ago
2005
ACM
In this work we present topic diversification, a novel method designed to balance and diversify personalized recommendation lists in order to reflect the user's complete spec...