1192 search results - page 58 / 239 » Symbolic Query Exploration |
151
click to vote
CAV
2005
Springer
15 years 11 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...
116
click to vote
ICC
2000
IEEE
15 years 10 months ago
2000
IEEE
Abstract- Conventional spread spectrum communication methods essentially map a discrete symbol from an alphabet to a length-N real valued sequence, which represents a point in the ...
157
click to vote
ICCAD
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper describes a probabilistic approach to state space search. The presented method applies a ranking of the design states according to their probability of reaching a given...
152
click to vote
LREC
2008
15 years 7 months ago
2008
Recently the LATL has undertaken the development of a multilingual translation system based on a symbolic parsing technology and on a transfer-based translation model. A crucial c...
158
click to vote
CORR
2006
Springer
15 years 6 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...