1350 search results - page 67 / 270 » Reasoning about Staged Computation |
ATAL
2008
Springer
14 years 12 months ago
2008
Springer
A database view is a dynamic virtual table composed of the result set of a query, often executed over different underlying databases. The view maintenance problem concerns how a v...
CVPR
2005
IEEE
15 years 12 months ago
2005
IEEE
Statistical models for tracking different moving bodies must be able to reason about occlusions in order to be effective. Representing the joint statistics across different bodies...
ISRR
2005
Springer
15 years 3 months ago
2005
Springer
ys when planning meant searching for a sequence of abstract actions that satisfied some symbolic predicate. Robots can now learn their own representations through statistical infe...
PLDI
2012
ACM
13 years 10 days ago
2012
ACM
Approximate program transformations such as skipping tasks [29, 30], loop perforation [21, 22, 35], reduction sampling [38], multiple selectable implementations [3, 4, 16, 38], dy...
104
click to vote
EDOC
2004
IEEE
15 years 1 months ago
2004
IEEE
The ODP computational viewpoint describes the functionality of a system and its environment, in terms of a configuration of objects which interact at interfaces. Computational obj...