8555 search results - page 170 / 1711 » Property Based Coordination |
143
click to vote
FASE
2009
Springer
15 years 8 months ago
2009
Springer
Model checking tools based on the iterative refinement of predicate abstraction (e.g., Slam and Blast) often feature a specification language for expressing complex behavior rules....
122
click to vote
AAAI
2007
15 years 6 months ago
2007
We present a CNF to Tree-of-BDDs (ToB) compiler with complexity at most exponential in the tree width. We then present algorithms for interesting queries on ToB. Although some of ...
170
click to vote
CVPR
2008
IEEE
15 years 4 months ago
2008
IEEE
Efficient segmentation of globally optimal surfaces in volumetric images is a central problem in many medical image analysis applications. Intra-class variance has been successful...
165
click to vote
JMIV
1998
15 years 4 months ago
1998
Singular points of scalar images in any dimensions are classified by a topological number. This number takes integer values and can efficiently be computed as a surface integral ...
156
click to vote
TIT
2002
15 years 4 months ago
2002
We consider direct sequence code division multiple access (DS-CDMA), modeling interference from users communicating with neighboring base stations by additive colored noise. We con...