7978 search results - page 660 / 1596 » Combining shared-coin algorithms |
198
click to vote
CSCLP
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. We present algorithms that perform the extraction of partial assignments from binary Constraint Satisfaction Problems without introducing new constraints. They are based ...
180
click to vote
ACSD
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper test selection strategies in formal conformance testing are considered. As the testing conformance relation we use the ioco relation, and extend the previously prese...
191
click to vote
ASPDAC
2001
ACM
15 years 11 months ago
2001
ACM
This paper describes a novel approach to high-level synthesis of complex pipelined circuits, including pipelined circuits with feedback. This approach combines a high-level, modula...
195
click to vote
FMCAD
2000
Springer
15 years 11 months ago
2000
Springer
We take a fresh look at the problem of how to check safety properties of finite state machines. We are particularly interested in checking safety properties with the help of a SAT-...
164
click to vote
ICMI
2000
Springer
15 years 10 months ago
2000
Springer
In this paper, we develop a system to track and recognize hand motion in nearly real time. An important application of this system is to simulate mouse as a visual inputting device...