1063 search results - page 46 / 213 » Generalized Cores |
107
click to vote
MICCAI
1998
Springer
15 years 2 months ago
1998
Springer
This paper presents a method for identifying image loci that can be used as a basis for object segmentation and image registration. The focus is on 1D and 2D shape loci in 3D image...
ICCAD
2009
IEEE
14 years 7 months ago
2009
IEEE
Multi-core processors have become an integral part of mainstream high performance computer systems. In parallel, exponentially increasing power density and packaging costs have ne...
AAAI
1994
14 years 11 months ago
1994
d Abstract) Goran Gogic l, Christos H. Papadimitriou', and Martha Sideri2 : Approximating a general formula from above and below by Horn formulas (its Horn envelope and Horn c...
CAV
2004
Springer
15 years 3 months ago
2004
Springer
Verifying whether an ω-regular property is satisfied by a finite-state system is a core problem in model checking. Standard techniques build an automaton with the complementary ...
AGI
2008
14 years 11 months ago
2008
Artificial Intelligence deals with the automated simulation of human intelligent behavior. Various aspects of human faculties are tackled using computational models. It is clear th...