3457 search results - page 265 / 692 » A Symbol Is Not a Symbol |
163
click to vote
CAV
2005
Springer
16 years 4 days 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...
166
click to vote
CHARME
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. Unbounded model checking of invariant properties is typically solved using symbolic reachability. However, BDD based reachability methods suffer from lack of robustness ...
143
click to vote
COSIT
2005
Springer
16 years 4 days ago
2005
Springer
Arrows are major components of diagrams, where they are typically used to facilitate the communication of spatial and temporal knowledge. An automated interpretation of arrow diagr...
167
click to vote
AMTA
2004
Springer
16 years 14 hour ago
2004
Springer
We describe the use of a translation memory in the context of a reconstruction of a landmark application of machine translation, the Canadian English to French weather report trans...
143
click to vote
CSL
2004
Springer
16 years 7 hour ago
2004
Springer
We present a novel third-order theory W1 1 of bounded arithmetic suitable for reasoning about PSPACE functions. This theory has the advantages of avoiding the smash function symbol...