320 search results - page 7 / 64 » An Action Semantics Based on Two Combinators |
100
Voted
ICRA
2010
IEEE
14 years 10 months ago
2010
IEEE
— In this paper, we consider the problem of how background knowledge about usual object arrangements can be utilized by a mobile robot to more efficiently find an object in an ...
ENTCS
2006
14 years 11 months ago
2006
Temporal logics are well suited for the specification and verification of systems of communicating agents. In this paper we adopt a social approach to agent communication, where c...
100
click to vote
FGR
2000
IEEE
15 years 4 months ago
2000
IEEE
Most automatic expression analysis systems attempt to recognize a small set of prototypic expressions (e.g. happiness and anger). Such prototypic expressions, however, occur infre...
MIDDLEWARE
2005
Springer
15 years 5 months ago
2005
Springer
The content-based publish/subscribe model has been adopted by many services to deliver data between distributed users based on application-specific semantics. Two key issues in su...
103
Voted
IANDC
2006
14 years 11 months ago
2006
We give a coalgebraic formulation of timed processes and their operational semantics. We model time by a monoid called a "time domain", and we model processes by "t...