5615 search results - page 379 / 1123 » On the Computational Capabilities of Several Models |
215
click to vote
CVPR
2007
IEEE
16 years 9 months ago
2007
IEEE
Groupwise shape registration of raw edge sequence is addressed. Automatically extracted edge maps are treated as noised input shape of the deformable object and their registration...
242
click to vote
ECCV
2006
Springer
16 years 9 months ago
2006
Springer
The objective of this work is the detection of object classes, such as airplanes or horses. Instead of using a model based on salient image fragments, we show that object class det...
162
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
Replication combined with explicit management of data integrity constraints can be used to enhance availability of object-oriented, data-centric distributed systems when node and ...
175
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
The necklace hypercube has recently been introduced as an attractive alternative to the well-known hypercube. Previous research on this network topology has mainly focused on topo...
208
click to vote
ICCAD
2006
IEEE
16 years 1 months ago
2006
IEEE
This paper addresses SAT-based Unbounded Model Checking based on Craig Interpolants. This recently introduced methodology is often able to outperform BDDs and other SAT-based tech...