212 search results - page 26 / 43 » On the Locality of Codeword Symbols |
140
click to vote
AISC
2004
Springer
15 years 7 months ago
2004
Springer
Nonlinear constraint systems can be solved by combining consistency techniques and search. In this approach, the search space is reduced using local reasoning on constraints. Howev...
105
click to vote
INFORMATICALT
2010
15 years 10 days ago
2010
Software localization is one of important tasks to insure a successful computer user experience. The paper discusses how localization of the software dialog text can be accelerated...
116
Voted
CAV
2005
Springer
15 years 7 months ago
2005
Springer
We consider in the current paper the issue of exploiting the structural form of Esterel programs [BG92] to partition the algorithmic RSS (reachable state space) fix-point construc...
107
click to vote
STRINGOLOGY
2008
15 years 3 months ago
2008
Abstract. We study the problem of finding local and global covers as well as seeds in conservative indeterminate strings. An indeterminate string is a sequence T = T[1]T[2] . . . T...
117
click to vote
CORR
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. We address the general problem of determining the validity of boolean combinations of equalities and inequalities between real-valued expressions. In particular, we consi...