2722 search results - page 264 / 545 » Automating Language Evolution |
136
click to vote
KBSE
2003
IEEE
15 years 10 months ago
2003
IEEE
Mathematical modeling and simulation of complex physical systems are emerging as key technologies in engineering. Modern approaches to physical system simulation allow users to sp...
212
click to vote
RIDE
2003
IEEE
15 years 10 months ago
2003
IEEE
Translating documents from a source to a target language is a repetitive activity. The attempt to automate such a difficult task has been a long-term scientific dream. Among the...
155
click to vote
ASP
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Ordered Choice Logic Programming (OCLP) allows for preferencebased decision-making with multiple alternatives and without the burden of any form of negation. This complet...
164
click to vote
ASP
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. We integrate an expressive class of description logics (DLs) and answer set programming by extending the latter to support inverted predicates and infinite domains, feat...
142
click to vote
ARTS
1999
Springer
15 years 9 months ago
1999
Springer
This paper discusses the adaptation of the PVS theorem prover for performing analysis of real-time systems written in the ASTRAL formal specification language. A number of issues w...