6608 search results - page 1191 / 1322 » On the Completeness of Model Checking |
136
click to vote
HPDC
2010
IEEE
15 years 5 months ago
2010
IEEE
Current projects that automate the collection of provenance information use a centralized architecture for managing the resulting metadata - that is, provenance is gathered at rem...
156
click to vote
ICML
2010
IEEE
15 years 5 months ago
2010
IEEE
Many structured prediction tasks involve complex models where inference is computationally intractable, but where it can be well approximated using a linear programming relaxation...
148
click to vote
Publication
We present a pose estimation method for rigid
objects from single range images. Using 3D models of the
objects, many pose hypotheses are compared in a data-parallel
version of t...
148
click to vote
ECRTS
2010
IEEE
15 years 4 months ago
2010
IEEE
—In distributed real-time embedded systems (DRE), it is common to model an application as a set of task chains. Each chain is activated cyclically and must complete before an end...
149
click to vote
HUC
2010
Springer
15 years 4 months ago
2010
Springer
This work presents the design and evaluation of an activity recognition system for seven important motion related activities. The only sensor used is an Inertial Measurement Unit ...