834 search results - page 109 / 167 » A Decomposition Technique for Max-CSP |
ICCAD
2006
IEEE
14 years 6 months ago
2006
IEEE
With the continued scaling of CMOS technologies and reduced design margins, the reliability concerns induced by transient faults have become prominent. Moreover, the popular energ...
CVPR
2010
IEEE
14 years 6 months ago
2010
IEEE
Many computer vision problems involving feature correspondence among images can be formulated as an assignment problem with a quadratic cost function. Such problems are computatio...
STACS
2010
Springer
14 years 5 months ago
2010
Springer
Abstract. The problem of Subgraph Isomorphism is defined as follows: Given a pattern H and a host graph G on n vertices, does G contain a subgraph that is isomorphic to H? Eppstei...
ICRA
2009
IEEE
14 years 4 months ago
2009
IEEE
— We report our first experiences with Leaving Flatland, an exploratory project that studies the key challenges of closing the loop between autonomous perception and action on c...
BPM
2009
Springer
14 years 4 months ago
2009
Springer
We report on a case study on control-flow analysis of business process models. We checked 735 industrial business process models from financial services, telecommunications and o...