Sciweavers

2638 search results - page 95 / 528
» A Framework for Automatic Debugging
Sort
View
KBSE
2007
IEEE
15 years 7 months ago
Unit testing concurrent software
There are many difficulties associated with developing correct multithreaded software, and many of the activities that are simple for single threaded software are exceptionally ha...
William Pugh, Nathaniel Ayewah
ECCV
2004
Springer
16 years 3 months ago
Automatic Non-rigid 3D Modeling from Video
We present a robust framework for estimating non-rigid 3D shape and motion in video sequences. Given an input video sequence, and a user-specified region to reconstruct, the algori...
Lorenzo Torresani, Aaron Hertzmann
MICCAI
2005
Springer
16 years 2 months ago
Automatic Registration and Fusion of Ultrasound with CT for Radiotherapy
We present a framework for rigid registration of a set of B-mode ultrasound images to a CT scan in the context of Radiotherapy planning. Our main focus is on deriving an appropriat...
Wolfgang Wein, Barbara Röper, Nassir Navab
ICTAI
2008
IEEE
15 years 8 months ago
Automatic Design of Robot Behaviors through Constraint Network Acquisition
Control architectures, such as the LAAS architecture [1], CLARATY [12] and HARPIC [9], have been developped to provide autonomy to robots. To achieve a robot’s task, these contr...
Mathias Paulin, Christian Bessiere, Jean Sallantin
COMPSAC
2007
IEEE
15 years 7 months ago
A History-Based Automatic Scheduling Model for Personnel Risk Management
Personnel risk is an issue which has not been researched well but plays an important role to determine whether a software project succeeds or fails. Most existing work focuses on ...
Hsinyi Jiang, Carl K. Chang, Jinchun Xia, Shuxing ...