1350 search results - page 132 / 270 » Reasoning about Staged Computation |
160
click to vote
CHI
2002
ACM
16 years 5 months ago
2002
ACM
To form a deep understanding of the present; we need to find and engage history. We present an informal history capture and retrieval mechanism for collaborative, earlystage infor...
124
click to vote
CVPR
2010
IEEE
16 years 1 months ago
2010
IEEE
Modern structure from motion techniques are capable of building city-scale 3D reconstructions from large image collections, but have mostly ignored the problem of largescale struc...
156
click to vote
IROS
2009
IEEE
16 years 6 days ago
2009
IEEE
— We introduce an optimization framework called prioritized optimization control, in which a nested sequence of objectives are optimized so as not to conflict with higher-priori...
191
click to vote
DSOM
2009
Springer
16 years 4 days ago
2009
Springer
Abstract. We propose a novel hybrid planning approach for the automated generation of IT change plans. The algorithm addresses an abstraction mismatch between refinement of tasks ...
149
click to vote
FSTTCS
2009
Springer
16 years 4 days ago
2009
Springer
Linear temporal logic was introduced in order to reason about reactive systems. It is often considered with respect to infinite words, to specify the behaviour of long-running sys...