Sciweavers

623 search results - page 99 / 125
» An Algorithm for Automatic Service Composition
Sort
View
CLEAR
2007
Springer
271views Biometrics» more  CLEAR 2007»
15 years 8 months ago
The AIT Multimodal Person Identification System for CLEAR 2007
This paper presents the person identification system developed at Athens Information Technology and its performance in the CLEAR 2007 evaluations. The system operates on the audiov...
Andreas Stergiou, Aristodemos Pnevmatikakis, Lazar...
MM
2003
ACM
118views Multimedia» more  MM 2003»
15 years 7 months ago
Generation of interactive multi-level video summaries
In this paper, we describe how a detail-on-demand representation for interactive video is used in video summarization. Our approach automatically generates a hypervideo composed o...
Frank M. Shipman III, Andreas Girgensohn, Lynn Wil...
CVPR
2010
IEEE
15 years 7 months ago
Object Separation In X-Ray Image Sets
In the segmentation of natural images, most algorithms rely on the concept of occlusion. In x-ray images, however, this assumption is violated, since x-ray photons penetrate most ...
Geremy Heitz, Gal Chechik
BMAS
2000
IEEE
15 years 7 months ago
Integration of Mechanical CAD and Behavioral Modeling
This article introduces the concept of combining both form (CAD models) and behavior (simulation models) of mechatronic system components into component objects. By composing thes...
Rajarishi Sinha, Christiaan J. J. Paredis, Pradeep...
FMCAD
2000
Springer
15 years 6 months ago
Automated Refinement Checking for Asynchronous Processes
Abstract. We consider the problem of refinement checking for asynchronous processes where refinement corresponds to stutter-closed language inclusion. Since an efficient algorithmi...
Rajeev Alur, Radu Grosu, Bow-Yaw Wang