7978 search results - page 715 / 1596 » Combining shared-coin algorithms |
274
click to vote
CP
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. Inspired by AND/OR search spaces for graphical models recently introduced, we propose to augment Ordered Decision Diagrams with AND nodes, in order to capture function de...
187
click to vote
CP
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. Thanks to its extended expressiveness, the quantified constraint satisfaction problem (QCSP) can be used to model problems that are difficult to express in the standard C...
227
click to vote
ECCV
2006
Springer
15 years 11 months ago
2006
Springer
Here we present a new image registration algorithm for the alignment of histological sections that combines the ideas of B-spline based elastic registration and consistent image re...
206
click to vote
ARVLSI
1995
IEEE
15 years 11 months ago
1995
IEEE
Logic partitioning is an important issue in VLSI CAD, and has been an area of active research for at least the last 25 years. Numerous approaches have been developed and many diff...
219
click to vote
RTSS
1995
IEEE
15 years 11 months ago
1995
IEEE
E cient automatic model-checking algorithms for real-time systems have been obtained in recent years based on the state-region graph technique of Alur, Courcoubetis and Dill. Howe...