Sciweavers

94 search results - page 1 / 19
» Testing Whether a Set of Code Words Satisfies a Given Set of...
Sort
View
JISE
2010
66views more  JISE 2010»
12 years 12 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...
STOC
1993
ACM
123views Algorithms» more  STOC 1993»
13 years 9 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
CODES
2010
IEEE
13 years 3 months 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...
ICALP
2005
Springer
13 years 10 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
AGP
1998
IEEE
13 years 9 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