819 search results - page 83 / 164 » Using Assumptions to Distribute CTL Model Checking |
143
click to vote
CVPR
1997
IEEE
15 years 9 months ago
1997
IEEE
Grouping based on common motion, or “common fate” provides a powerful cue for segmenting image sequences. Recently a number of algorithms have been developed that successfully...
150
click to vote
JCS
2010
14 years 11 months ago
2010
We introduce constraint differentiation, a powerful technique for reducing search when model-checking security protocols using constraint-based methods. Constraint differentiation...
130
click to vote
HPCC
2009
Springer
15 years 2 months ago
2009
Springer
Domain-partition (DP) model is a general model for reliability maximization problem under given redundancy. In this paper, an improved DP model is used to formulate a reconfigurati...
176
click to vote
TIT
2008
15 years 4 months ago
2008
Distributed estimation of an unknown signal is a common task in sensor networks. The scenario usually envisioned consists of several nodes, each making an observation correlated wi...
149
click to vote
3DIM
2007
IEEE
15 years 11 months ago
2007
IEEE
In this paper, we present a new algorithm to reconstruct 3D surfaces from an unorganized point cloud based on generalizing the MPU implicit algorithm through introducing a powerfu...