950 search results - page 151 / 190 » Machine semantics |
122
click to vote
ITS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. There have been several attempts to automate knowledge acquisition for ITSs that teach procedural tasks. The goal of our project is to automate the acquisition of domain ...
131
click to vote
ADBIS
2003
Springer
15 years 7 months ago
2003
Springer
The Web has become the world’s largest information source. Unfortunately, the main success factor of the Web, the inherent principle of distribution and autonomy of the participa...
147
Voted
POPL
2012
ACM
13 years 10 months ago
2012
ACM
Since software systems are becoming increasingly more concurrent and distributed, modeling and analysis of interactions among their components is a crucial problem. In several app...
131
click to vote
SPIN
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We present a technique and a tool for model-checking operational UML models based on a mapping of object oriented UML models into a framework of communicating extended ti...
131
click to vote
ESWS
2008
Springer
15 years 4 months ago
2008
Springer
Both Topic Maps and RDF are popular semantic web standards designed for machine processing of web documents. Since these representations were originally created for different purpo...