3941 search results - page 235 / 789 » Computational Efficiency of Batching Methods |
150
click to vote
SAC
2010
ACM
15 years 2 months ago
2010
ACM
Verification conditions (VCs) are logical formulae whose validity implies the correctness of a program with respect to a specification. The technique of checking software properti...
130
click to vote
ICPR
2006
IEEE
16 years 5 months ago
2006
IEEE
Image registration is the process of geometrically aligning two or more images. In this paper we describe a method for registering pairs of images based on thin-plate spline mappi...
173
click to vote
CVPR
2009
IEEE
16 years 11 months ago
2009
IEEE
Recently, we proposed marginal space learning (MSL) as
a generic approach for automatic detection of 3D anatom-
ical structures in many medical imaging modalities. To
accurately...
137
click to vote
AINA
2008
IEEE
15 years 11 months ago
2008
IEEE
Wireless Sensor Networks (WSN) have specific constraints and stringent requirements in contrast to traditional wired and wireless computer networks. Among these specific requireme...
136
click to vote
GRAPHITE
2007
ACM
15 years 8 months ago
2007
ACM
We present a data-driven technique for generating the precomputed radiance transfer vectors of an animated character as a function of its joint angles. We learn a linear model for...