490 search results - page 71 / 98 » Formal Action Semantics for a UML Action Language |
SIGADA
2005
Springer
14 years 1 months ago
2005
Springer
Concerns for concurrent systems are not always easy to modularize within single units using traditional programming languages. The concept of aspect orientation can be applied to ...
KR
1998
Springer
13 years 12 months ago
1998
Springer
This work is motivated by the existence of two useful but quite different knowledge representation formalisms, the situation calculus due to McCarthy, and the logic OL of only kno...
AAAI
2000
13 years 9 months ago
2000
High-level robot controllers in realistic domains typically deal with processes which operate concurrently, change the world continuously, and where the execution of actions is ev...
EJC
2003
13 years 9 months ago
2003
The goal of this paper is to build a bridge from a certain intuitive conception of natural language communication, called the SLIM theory of language, to a technical approach, cal...
CSL
2002
Springer
13 years 7 months ago
2002
Springer
A spoken language generation system has been developed that learns to describe objects in computer-generated visual scenes. The system is trained by a `show-and-tell' procedu...