Sciweavers

94 search results - page 1 / 19
» Testing Whether a Set of Code Words Satisfies a Given Set of...
Sort
View
70
Voted
JISE
2010
66views more  JISE 2010»
14 years 9 months ago
Testing Whether a Set of Code Words Satisfies a Given Set of Constraints
Hsin-Wen Wei, Wan-Chen Lu, Pei-Chi Huang, Wei-Kuen...
125
Voted
STOC
1993
ACM
123views Algorithms» more  STOC 1993»
15 years 6 months ago
Constructing small sample spaces satisfying given constraints
Abstract. The subject of this paper is nding small sample spaces for joint distributions of n discrete random variables. Such distributions are often only required to obey a certa...
Daphne Koller, Nimrod Megiddo
124
Voted
CODES
2010
IEEE
15 years 23 days ago
Improving platform-based system synthesis by satisfiability modulo theories solving
Due to the ever increasing system complexity, deciding whether a given platform is sufficient to implement a set of applications under given constraints becomes a serious bottlene...
Felix Reimann, Michael Glaß, Christian Haube...
102
Voted
ICALP
2005
Springer
15 years 8 months ago
Randomized Fast Design of Short DNA Words
We consider the problem of efficiently designing sets (codes) of equal-length DNA strings (words) that satisfy certain combinatorial constraints. This problem has numerous motivati...
Ming-Yang Kao, Manan Sanghi, Robert T. Schweller
104
Voted
AGP
1998
IEEE
15 years 7 months ago
Narrowing the Gap between Set-Constraints and CLP(SET)-Constraints
We compare two (apparently) rather different set-based constraint languages, and we show that, in spite of their different origins and aims, there are large classes of constraint ...
Agostino Dovier, Carla Piazza, Gianfranco Rossi