3719 search results - page 309 / 744 » RACER System Description |
135
click to vote
ENTCS
2010
15 years 6 months ago
2010
The global states of complex systems often form pospaces, topological spaces equipped with compatible partial orders reflecting causal relationships between the states. The calcul...
190
click to vote
ENTCS
2006
15 years 6 months ago
2006
We present a system, called RZ, for automatic generation of program specifications from mathematical theories. We translate mathematical theories to specifications by computing th...
161
click to vote
ENGL
2007
15 years 6 months ago
2007
—In previous works, we have presented the advantages of using a domain ontology and annotations on information retrieval as well as the translation problems between languages wit...
187
click to vote
SIGPLAN
2002
15 years 6 months ago
2002
Future Interval Logic (FIL) and its intuitive graphical representation, Graphical Interval Logic (GIL), can be used as the formal description language of model checking tools to v...
139
click to vote
IMCSIT
2010
15 years 4 months ago
2010
Abstract--There are numerous formats for writing spellcheckers for open-source systems and there are many descriptions for languages written in these formats. Similarly, for word h...