Sciweavers

1097 search results - page 112 / 220
» Sequential Object Monitors
Sort
View
147
Voted
PDP
2009
IEEE
15 years 10 months ago
Adding Aspect-Oriented Concepts to the High-Performance Component Model of SBASCO
SBASCO provides a new programming model for parallel and distributed numerical applications which exploits the combination of software components and skeletons. This paper present...
Manuel Díaz, Sergio Romero, Bartolomé...
106
Voted
FM
2009
Springer
92views Formal Methods» more  FM 2009»
15 years 10 months ago
Field-Sensitive Value Analysis by Field-Insensitive Analysis
Shared and mutable data-structures pose major problems in static analysis and most analyzers are unable to keep track of the values of numeric variables stored in the heap. In this...
Elvira Albert, Puri Arenas, Samir Genaim, Germ&aac...
ICIP
2008
IEEE
15 years 9 months ago
Time-sequential extraction of motion layers
A new time-sequential approach for motion layer extraction is presented. We assume that the scene can be described by a set of layers associated to affine motion models. In one o...
Matthieu Fradet, Patrick Pérez, Philippe Ro...
ICRA
2008
IEEE
115views Robotics» more  ICRA 2008»
15 years 9 months ago
Multi-robot manipulation via caging in environments with obstacles
Abstract— We present a decentralized approach to multirobot manipulation where the team of robots surround and trap an object and transport it, by dragging or pushing, to the goa...
Jonathan Fink, M. Ani Hsieh, Vijay Kumar
138
Voted
IAT
2005
IEEE
15 years 9 months ago
An Approximate Pareto Optimal Cooperative Negotiation Model for Multiple
Cooperative negotiation is proved to be an effective paradigm to solve complex dynamic multi-objective problems in which each objective is associated to an agent. When the multi-o...
Nicola Gatti, Francesco Amigoni