4463 search results - page 270 / 893 » computing 2000 |
177
click to vote
CAV
2000
Springer
15 years 10 months ago
2000
Springer
xample-Guided Abstraction Refinement for Symbolic Model Checking EDMUND CLARKE YUAN LU Carnegie Mellon University, Pittsburgh, Pennsylvania Broadcom Co., San Jose, California ORNA ...
164
click to vote
CG
2000
Springer
15 years 11 months ago
2000
Springer
: We present a new algorithm for selective search by iterative expansion of leaf nodes. The algorithm reasons with leaf evaluations in a way that leads to high confidence in the c...
182
click to vote
ISORC
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper describes how GLADE, our implementation of the Ada 95 Distributed Systems Annex, can be used to build large object-oriented real-time distributed systems. In addition t...
183
click to vote
ICPR
2000
IEEE
15 years 10 months ago
2000
IEEE
This paper proposes a novel approach to color texture characterization and classification. Rather than developing new textural features, we propose to derive a family of new, redu...
189
click to vote
ECCV
2000
Springer
16 years 8 months ago
2000
Springer
This paper focuses on matching 1D structures by variational methods. We provide rigorous rules for the construction of the cost function, on the basis of an analysis of properties ...