1008 search results - page 82 / 202 » Canonicity! |
85
Voted
SAC
2010
ACM
15 years 8 months ago
2010
ACM
The canonical algorithm to enforce box consistency over a constraint relies on a dichotomic process to isolate the leftmost and rightmost solutions. We identify some weaknesses of...
114
click to vote
ISMAR
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper describes a Mixed Reality installation named Jellyfish Party, for enjoying playing with soap bubbles. A special feature of this installation is the use of a spirometer s...
110
click to vote
ICES
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. We present a systematic procedure for the synthesis and minimisation of digital circuits using propositional satisfiability. We encode the truth table into a canonical s...
122
click to vote
ISCAS
2002
IEEE
15 years 8 months ago
2002
IEEE
This paper presents a cell library for automatic synthesis of analog error control decoders. By using some basic cells, analog error control decoders can be automatically synthesi...
131
click to vote
MFCS
2009
Springer
15 years 8 months ago
2009
Springer
An edge cover C of an undirected graph is a set of edges such that every vertex has an adjacent edge in C. We show that a Glauber dynamics Markov chain for edge covers mixes rapidl...