432 search results - page 51 / 87 » Interaction Abstraction for Compositional Finite State Syste... |
155
click to vote
RULEML
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Event processing rules may be prescribed in many different ways, including by finite state machines, graphical methods, ECA (event-conditionaction) rules or reactive rule...
132
Voted
KI
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. This paper discusses experiments with an agent oriented approach to automated and interactive reasoning. The approach combines ideas from two subfields of AI (theorem pr...
131
Voted
OTM
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Protocols that govern the interactions between software components are a popular means to support the construction of correct component-based systems. Previous studies ha...
160
click to vote
HYBRID
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Networked embedded systems are composed of a large number of components that interact with the physical world via a set of sensors and actuators, have their own computati...
178
click to vote
AAMAS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract In this paper, we present a human-robot teaching framework that uses "virtual" games as a means for adapting a robot to its user through natural interaction in a...