713 search results - page 86 / 143 » Syntax and Semantics of Babel-17 |
111
Voted
WLP
2000
Springer
15 years 4 months ago
2000
Springer
Attempto Controlled English (ACE) is a controlled natural language, i.e. a precisely defined subset of English that can automatically and unambiguously be translated into first-ord...
HICSS
1995
IEEE
15 years 4 months ago
1995
IEEE
This paper discusses the implementation of optimizaiion based DSSs. A n approach is proposed that will enable OR/MS analysts to develop this kind of system much more eociently tha...
124
Voted
REX
1991
15 years 4 months ago
1991
We survey logic-based and automata-based languages and techniques for the speci cation and veri cation of real-time systems. In particular, we discuss three syntactic extensions of...
107
Voted
CDC
2009
IEEE
15 years 4 months ago
2009
IEEE
—Current industrial applications demand the design of more and more complex, safe and trustworthy control systems which exhibit a high degree of flexibility and reutilization. To...
87
Voted
DLOG
2007
15 years 3 months ago
2007
We present a query answering technique based on notions and results from modal Correspondence Theory. It allows us to answer a wide family of conjunctive queries by polynomial redu...