1192 search results - page 58 / 239 » Symbolic Query Exploration |
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...
78
Voted
ICC
2000
IEEE
15 years 6 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 ...
111
Voted
ICCAD
1999
IEEE
15 years 6 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...
97
Voted
LREC
2008
15 years 3 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...
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...