1722 search results - page 89 / 345 » Generating Tests from Counterexamples |
161
click to vote
ACCV
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. This paper introduces a new model-based approach for simultaneously reconstructing 3D human motion and full-body skeletal size from a small set of 2D image features track...
156
Voted
3DIM
2007
IEEE
15 years 9 months ago
2007
IEEE
This paper presents a new approach for generation of superresolution stereoscopic and multi-view video from monocular video. Such multi-view video is used for instance with multi-...
153
click to vote
GRAPHICSINTERFACE
2003
15 years 4 months ago
2003
Modeling complex realistic objects is a difficult and time consuming process. Nevertheless, with improvements in rendering speed and quality, more and more applications require s...
122
click to vote
PASTE
2010
ACM
15 years 8 months ago
2010
ACM
We present a novel technique that identifies the source compiler of program binaries, an important element of program provenance. Program provenance answers fundamental questions...
119
click to vote
FSE
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. The need of true random number generators for many purposes (ranging from applications in cryptography and stochastic simulation, to search heuristics and game playing) i...