490 search results - page 58 / 98 » Formal Action Semantics for a UML Action Language |
OTM
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. The Web of today can be seen as an active and heterogeneous infrastructure of autonomous systems, where reactivity, evolution and propagation of information and changes p...
IEEECIT
2006
IEEE
14 years 1 months ago
2006
IEEE
Dance is the real cultural wealth of any nation and dance media is the source for learning the dance steps by the present and future generation of students. Dance videos exhibit r...
AAAI
2011
12 years 7 months ago
2011
This paper describes a new model for understanding natural language commands given to autonomous systems that perform navigation and mobile manipulation in semi-structured environ...
FMOODS
2000
13 years 9 months ago
2000
This paper presents a logic, called BOTL (Object-Based Temporal Logic), that facilitates the specification of dynamic and static properties of object-based systems. The logic is ba...
IEEEVAST
2010
13 years 2 months ago
2010
Insight Externalization (IE) refers to the process of capturing and recording the semantics of insights in decision making and problem solving. To reduce human effort, Automated I...