125 search results - page 13 / 25 » Experimenting with Power Default Reasoning |
TIME
2005
IEEE
14 years 2 months ago
2005
IEEE
Historical information can be effectively preserved using XML and searched through powerful historical queries written in XQuery. Indeed, by storing the successive versions of a d...
MASCOTS
2004
13 years 10 months ago
2004
Large archival storage systems experience long periods of idleness broken up by rare data accesses. In such systems, disks may remain powered off for long periods of time. These s...
COGSCI
2006
13 years 8 months ago
2006
Mechanical systems have structural organizations--parts, and their relations--and functional organizations--temporal, dynamic, and causal processes--which can be explained using t...
ENTCS
2008
13 years 8 months ago
2008
We report our experience with exploring a new point in the design space for formal reasoning systems: the development of the programming language mega. mega is intended as both a ...
ICCV
2007
IEEE
14 years 10 months ago
2007
IEEE
Occlusion reasoning, necessary for tasks such as navigation and object search, is an important aspect of everyday life and a fundamental problem in computer vision. We believe tha...