3885 search results - page 254 / 777 » Transformations for Write-All-with-Collision Model |
173
click to vote
ICCV
2009
IEEE
15 years 4 months ago
2009
IEEE
We present a system that constructs "implicit shape models" for classes of rigid 3D objects and utilizes these models to estimating the pose of class instances in single...
173
click to vote
ICIP
2006
IEEE
16 years 8 months ago
2006
IEEE
This paper develops a practical method for image resolution enhancement. The method optimizes the spatially constrained Wiener filter for an efficiently parameterized model of the...
159
click to vote
VLSID
2002
IEEE
16 years 7 months ago
2002
IEEE
We give an algorithm to model any given multiple stuck-at fault as a single stuck-at fault. The procedure requires insertion of at most ? ? ? modeling gates, when the multiplicity...
188
click to vote
ICWE
2007
Springer
16 years 22 days ago
2007
Springer
: In this work we report our experience in applying model checking techniques to the analysis of static and dynamic properties of Web application models. We propose a mix of tools ...
144
click to vote
IJCNN
2006
IEEE
16 years 18 days ago
2006
IEEE
— In this paper we have suggested a sparse three dimensional array model for the brain. Entries of the array are synaptic weights as functions of time. This is a typical four dim...