1866 search results - page 121 / 374 » Robust Algorithms and Price of Robustness in Shunting Proble... |
144
click to vote
GLVLSI
2005
IEEE
15 years 11 months ago
2005
IEEE
Boolean Satisfiability (SAT) solvers are popular engines used throughout the verification world. Bounded sequential problems such as bounded model checking and bounded sequentia...
149
click to vote
GECCO
2007
Springer
16 years 8 days ago
2007
Springer
Recent studies on the support of engineers during conceptual design resulted in a non-traditional type of Multi-Objective Problems (MOPs), namely concept-based ones. In concept-ba...
147
Voted
PPSN
2000
Springer
15 years 9 months ago
2000
Springer
In the design of communication networks, robustness against failures in single links or nodes is an important issue. This paper proposes a new approach for the NP-complete edge-bic...
167
click to vote
CVIU
2008
15 years 6 months ago
2008
In this paper, we present an efficient and robust algorithm for shape matching, registration, and detection. The task is to geometrically transform a source shape to fit a target ...
156
Voted
ICRA
1994
IEEE
15 years 10 months ago
1994
IEEE
At the intersection of robotics, computational geometry, and manufacturingengineering, we have identifieda collection of research problems with near-term industrial applications. ...