12597 search results - page 2228 / 2520 » Complexity of Mechanism Design |
224
click to vote
CVPR
2012
IEEE
13 years 9 months ago
2012
IEEE
Recovering 3D geometry from a single 2D line drawing is an important and challenging problem in computer vision. It has wide applications in interactive 3D modeling from images, c...
302
click to vote
TSE
2012
13 years 9 months ago
2012
d Abstractions for Contract Validation Guido de Caso, Víctor Braberman, Diego Garbervetsky and Sebastián Uchitel —Pre/post condition-based specifications are common-place in a...
189
click to vote
ACL
2012
13 years 9 months ago
2012
Argo is a web-based NLP and text mining workbench with a convenient graphical user interface for designing and executing processing workflows of various complexity. The workbench...
410
click to vote
SPIN
2012
Springer
13 years 9 months ago
2012
Springer
Since counterexamples generated by model checking tools are only symptoms of faults in the model, a significant amount of manual work is required in order to locate the fault that...
221
click to vote
CVPR
2006
IEEE
16 years 9 months ago
2006
IEEE
We address the problem of detecting complex articulated objects and their pose in 3D range scan data. This task is very difficult when the orientation of the object is unknown, an...