Sciweavers

4083 search results - page 562 / 817
» The EvA2 Optimization Framework
Sort
View
PPDP
2007
Springer
16 years 25 days ago
Interactive, scalable, declarative program analysis: from prototype to implementation
Static analyses provide the semantic foundation for tools ranging from optimizing compilers to refactoring browsers and advanced debuggers. Unfortunately, developing new analysis ...
William C. Benton, Charles N. Fischer
SARA
2007
Springer
16 years 25 days ago
Approximate Model-Based Diagnosis Using Greedy Stochastic Search
Most algorithms for computing diagnoses within a modelbased diagnosis framework are deterministic. Such algorithms guarantee soundness and completeness, but are NPhard. To overcom...
Alexander Feldman, Gregory M. Provan, Arjan J. C. ...
3DPVT
2006
IEEE
240views Visualization» more  3DPVT 2006»
16 years 24 days ago
Object Centered Stereo: Displacement Map Estimation Using Texture and Shading
We consider the problem of recovering 3D surface displacements using both shading and multi-view stereo cues. In contrast to traditional disparity or depth map representations, th...
Neil Birkbeck, Dana Cobzas, Martin Jägersand
3DPVT
2006
IEEE
163views Visualization» more  3DPVT 2006»
16 years 24 days ago
Vanishing Hull
Vanishing points are valuable in many vision tasks such as orientation estimation, pose recovery and 3D reconstruction from a single image. Many methods have been proposed to addr...
Jinhui Hu, Suya You, Ulrich Neumann
CGI
2006
IEEE
16 years 23 days ago
Plausible Locomotion for Bipedal Creatures Using Motion Warping and Inverse Kinematics
One of the main question addressed by paleoanthropologists is the recovery of plausible motions for extinct species whose knowledge is generally limited to incomplete bones and ske...
Guillaume Nicolas, Franck Multon, Gilles Berillon,...