2181 search results - page 262 / 437 » The restriction scaffold problem |
120
click to vote
JSS
2006
15 years 4 months ago
2006
Model checking is a powerful automated technique mainly used for the verification of properties of reactive systems. In practice, model checkers are limited due to the state explos...
126
click to vote
PR
2008
15 years 4 months ago
2008
This paper addresses the pose recovery problem of a particular articulated object: the human body. In this model-based approach, the 2D-shape is associated to the corresponding st...
129
click to vote
TC
2008
15 years 4 months ago
2008
Abstract. The Parallel Disks Model (PDM) has been proposed to alleviate the I/O bottleneck that arises in the processing of massive data sets. Sorting has been extensively studied ...
132
click to vote
AUTOMATICA
2005
15 years 4 months ago
2005
In this paper, an explicit model predictive controller for the attitude of a satellite is designed. Explicit solutions to constrained linear MPC problems can be computed by solvin...
113
click to vote
JAIR
2007
15 years 4 months ago
2007
In this paper, we study the possibility of designing non-trivial random CSP models by exploiting the intrinsic connection between structures and typical-case hardness. We show tha...