5227 search results - page 844 / 1046 » Enterprise modeling using class and instance models |
146
click to vote
ICRA
2009
IEEE
16 years 15 days ago
2009
IEEE
— We describe a general methodology for tracking 3-dimensional objects in monocular and stereo video that makes use of GPU-accelerated filtering and rendering in combination wit...
151
click to vote
ACCV
2009
Springer
16 years 13 days ago
2009
Springer
This paper develops a supervised dimensionality reduction method, Lorentzian Discriminant Projection (LDP), for discriminant analysis and classification. Our method represents the...
162
click to vote
CSL
2009
Springer
16 years 12 days ago
2009
Springer
For programs whose data variables range over boolean or finite domains, program verification is decidable, and this forms the basis of recent tools for software model checking. I...
129
click to vote
CDC
2008
IEEE
16 years 9 days ago
2008
IEEE
Abstract— We study averaging algorithms, when implemented in large networks of wirelessly connected elements. We extend the notion of “Increasing Correctness” (IC) which was ...
184
click to vote
ISBI
2008
IEEE
16 years 7 days ago
2008
IEEE
In this paper we propose a classification-based method towards the segmentation of diffusion tensor images. We use Support Vector Machines to classify diffusion tensors and we ex...