6750 search results - page 806 / 1350 » Performance Analysis Framework for Layout Analysis Methods |
154
click to vote
FMCAD
2009
Springer
16 years 1 months ago
2009
Springer
stractions for Floating-Point Arithmetic Angelo Brillout Computer Systems Institute, ETH Zurich Daniel Kroening and Thomas Wahl Oxford University Computing Laboratory Abstract—Fl...
198
click to vote
INFOCOM
2008
IEEE
16 years 1 months ago
2008
IEEE
—We study the localization problem in sparse 3D underwater sensor networks. Considering the fact that depth information is typically available for underwater sensors, we transfor...
206
click to vote
CGI
2006
IEEE
16 years 1 months ago
2006
IEEE
We propose a framework to reconstruct human motion based on monocular camera video and motion database. In this framework, we use silhouettes for rough motion estimation based on a...
166
click to vote
SMI
2006
IEEE
16 years 1 months ago
2006
IEEE
Most real world objects consist of non-uniform materials; as a result, during deformation the bending and shearing are distributed non-uniformly and depend on the local stiffness ...
207
click to vote
CHARME
2003
Springer
16 years 12 days ago
2003
Springer
We present a non-operational approach to specifying and analyzing shared memory consistency models. The method uses higher order logic to capture a complete set of ordering constra...