3565 search results - page 420 / 713 » Modeling a system controller for timing analysis |
137
click to vote
LICS
2005
IEEE
15 years 10 months ago
2005
IEEE
In the 1980s process algebras became widely accepted formalisms for describing and analysing concurrency. Extensions of the formalisms, incorporating some aspects of systems which...
166
Voted
HCI
2009
15 years 2 months ago
2009
The paper describes an experimental work conducted within the HILAS (Human Integration into the Lifecycle of Aviation Systemshttp://www.hilas.info/mambo/) project. The objective of...
117
click to vote
CDC
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract— We study averaging algorithms, when implemented in large networks of wirelessly connected elements. We extend the notion of “Increasing Correctness” (IC) which was ...
146
click to vote
IROS
2006
IEEE
15 years 11 months ago
2006
IEEE
— In this paper we present a framework for grasp planning with a humanoid robot arm and a five-fingered hand. The aim is to provide the humanoid robot with the ability of grasp...
153
Voted
ATAL
2003
Springer
15 years 10 months ago
2003
Springer
Decentralized control of a cooperative multi-agent system is the problem faced by multiple decision-makers that share a common set of objectives. The decision-makers may be robots...