110 search results - page 14 / 22 » Automatic Generator of Minimal Problem Solvers |
135
click to vote
3DIM
2011
IEEE
13 years 11 months ago
2011
IEEE
We present a novel method for solving the challenging problem of generating 3D models of generic object categories from just one single un-calibrated image. Our method leverages t...
VMCAI
2009
Springer
15 years 6 months ago
2009
Springer
A new approach based on constraint solving techniques was recently proposed for verification of hybrid systems. This approach works by searching for inductive invariants of a give...
150
click to vote
VL
2010
IEEE
14 years 10 months ago
2010
IEEE
Many errors in spreadsheet formulas can be avoided if spreadsheets are built automatically from higher-level models that can encode and enforce consistency constraints. However, d...
111
click to vote
EOR
2007
14 years 11 months ago
2007
A well known industry application that allows controllable processing times is the manufacturing operations on CNC machines. For each turning operation as an example, there is a n...
FPL
2008
Springer
15 years 1 months ago
2008
Springer
A Customized Reconfigurable Interconnection Network (CRIN) refers to a minimal switching network, yielding routing solutions for any element in a pre-given set of routing requirem...