Sciweavers

6197 search results - page 1078 / 1240
» Sandbridge Software Tools
Sort
View
ICIP
2007
IEEE
16 years 7 months ago
Automatic Quality Analysis for Film and Video Restoration
A considerable amount of work in larger film and video restoration projects is dedicated to manually exploring the audiovisual content in order to estimate the costs for restorati...
Georg Thallinger, Hermann Fürntratt, Peter Sc...
ICDE
2002
IEEE
143views Database» more  ICDE 2002»
16 years 7 months ago
Declarative Composition and Peer-to-Peer Provisioning of Dynamic Web Services
The development of new services through the integration of existing ones has gained a considerable momentum as a means to create and streamline business-to-business collaborations...
Boualem Benatallah, Quan Z. Sheng, Anne H. H. Ngu,...
DAC
2003
ACM
16 years 7 months ago
Automatic trace analysis for logic of constraints
Verification of system designs continues to be a major challenge today. Simulation remains the primary tool for making sure that implementations perform as they should. We present...
Xi Chen, Harry Hsieh, Felice Balarin, Yosinori Wat...
MICCAI
2003
Springer
16 years 7 months ago
VETOT, Volume Estimation and Tracking Over Time: Framework and Validation
We have implemented an effective and publicly available tool, VETOT, to track and quantify the evolution of tumors and organs over time. VETOT includes a framework both for registr...
Jean-Philippe Guyon, Mark Foskey, Jisung Kim, Zeyn...
ICSE
2009
IEEE-ACM
16 years 7 months ago
Analyzing critical process models through behavior model synthesis
Process models capture tasks performed by agents together with their control flow. Building and analyzing such models is important but difficult in certain areas such as safety-cr...
Christophe Damas, Bernard Lambeau, Francois Roucou...
« Prev « First page 1078 / 1240 Last » Next »