2702 search results - page 271 / 541 » Practically Applicable Formal Methods |
140
Voted
ATAL
2007
Springer
15 years 8 months ago
2007
Springer
Multiagent environments are often not cooperative nor collaborative; in many cases, agents have conflicting interests, leading to adversarial interactions. This paper presents a ...
111
click to vote
IUI
2005
ACM
15 years 8 months ago
2005
ACM
A new generation of intelligent applications can be enabled by broad-coverage knowledge repositories about everyday objects. We distill lessons in design of intelligent user inter...
129
Voted
SAC
2003
ACM
15 years 7 months ago
2003
ACM
Matchmaking is the problem of matching offers and requests, such as supply and demand in a marketplace, services and customers in a service agency, etc., where both partners are ...
144
click to vote
INTERACTION
2009
ACM
15 years 7 months ago
2009
ACM
In this paper, we present the core concept and the benefits of an approach called RoboEarth which will be highly beneficial for future robotic applications in science and industry...
96
Voted
FM
1999
Springer
15 years 6 months ago
1999
Springer
Sharing between B constructs is limited, both on the specification and the implementation level. The limitations stem from the single writer/multiple readers paradigm, restricted ...