Sciweavers

2403 search results - page 341 / 481
» Using the WinWin Spiral Model: A Case Study
Sort
View
FSEN
2009
Springer
16 years 5 days ago
Automated Translation and Analysis of a ToolBus Script for Auctions
Abstract. ToolBus allows to connect tools via a software bus. Programming is done using the scripting language Tscript, which is based on the process algebra ACP. In previous work ...
Wan Fokkink, Paul Klint, Bert Lisser, Yaroslav S. ...
IWPEC
2009
Springer
16 years 5 days ago
Stable Assignment with Couples: Parameterized Complexity and Local Search
We study the Hospitals/Residents with Couples problem, a variant of the classical Stable Marriage problem. This is the extension of the Hospitals/Residents problem where residents ...
Dániel Marx, Ildikó Schlotter
153
Voted
ICARCV
2006
IEEE
84views Robotics» more  ICARCV 2006»
15 years 11 months ago
On the Form-Closure Capability of Robotic Underactuated Hands
—This paper presents a new method to study the capability of an underactuated hand to produce form-closed grasps. First, the stability behaviours of different underactuated paral...
Vincent Begoc, Claude Durand, Sébastien Kru...
137
Voted
ICMCS
2006
IEEE
90views Multimedia» more  ICMCS 2006»
15 years 11 months ago
Fast Video Object Selection for Interactive Television
In this paper, we study the problem of the fast selection of video objects, as an aid for the efficient semi-automatic annotation of video programs. In a regular system, the user ...
Rémi Trichet, Bernard Mérialdo
IV
2005
IEEE
131views Visualization» more  IV 2005»
15 years 11 months ago
A Framework for Visualising Large Graphs
Visualising large graphs faces the challenges of both data complexity and visual complexity. This paper presents a framework for visualising large graphs that reduces data complex...
Wanchun Li, Seok-Hee Hong, Peter Eades