7167 search results - page 1202 / 1434 » A Technique for Invariant Generation |
217
click to vote
PAMI
2010
15 years 5 months ago
2010
Abstract— Statistical shape modeling is an established technique and is used for a variety of tasks in medical image processing, such as image segmentation and analysis. A challe...
214
click to vote
PAMI
2010
15 years 5 months ago
2010
—We present a generative model and inference algorithm for 3D nonrigid object tracking. The model, which we call G-flow, enables the joint inference of 3D position, orientation, ...
201
click to vote
PVLDB
2010
15 years 5 months ago
2010
In this paper, we present a new record linkage approach that uses entity behavior to decide if potentially different entities are in fact the same. An entity’s behavior is extra...
184
click to vote
PVLDB
2010
15 years 5 months ago
2010
Large data resources are ubiquitous in science and business. For these domains, an intuitive view on the data is essential to fully exploit the hidden knowledge. Often, these data...
234
click to vote
SAMOS
2010
Springer
15 years 5 months ago
2010
Springer
—Instruction set simulators (ISS) are vital tools for compiler and processor architecture design space exploration and verification. State-of-the-art simulators using just-in-ti...