141 search results - page 23 / 29 » Transforming OCL constraints: a context change approach |
103
Voted
ATAL
2008
Springer
14 years 10 months ago
2008
Springer
The aim of this paper is to provide a logical framework for the specification of autonomous Multi-Agent Systems (MAS). A MAS is autonomous in so far as it is capable of binding (...
TSE
2008
14 years 9 months ago
2008
Neglected conditions are an important but difficult-to-find class of software defects. This paper presents a novel approach for revealing neglected conditions that integrates stati...
118
click to vote
AGENTCL
2003
Springer
15 years 2 months ago
2003
Springer
We propose group communication for agent coordination within “active rooms” and other pervasive computing scenarios featuring strict real-time requirements, inherently unrelia...
82
Voted
BIRTHDAY
2005
Springer
15 years 3 months ago
2005
Springer
In this paper we present an overview of recent developments in the plan-based control of autonomous robots. We identify computational principles that enable autonomous robots to a...
CVPR
2008
IEEE
15 years 11 months ago
2008
IEEE
In this paper, we present a non-rigid quasi-dense matching method and its application to object recognition and segmentation. The matching method is based on the match propagation...