Sciweavers

5777 search results - page 225 / 1156
» The palladio component model
Sort
View
ISVC
2010
Springer
15 years 5 months ago
A Spatio-Spectral Algorithm for Robust and Scalable Object Tracking in Videos
Abstract. In this work we propose a mechanism which looks at processing the low-level visual information present in video frames and prepares mid-level tracking trajectories of obj...
Alireza Tavakkoli, Mircea Nicolescu, George Bebis
RE
2010
Springer
15 years 1 months ago
Dependability Arguments with Trusted Bases
An approach is suggested for arguing that a system is dependable. The key idea is to structure the system so that critical requirements are localized in small, reliable subsets of ...
Eunsuk Kang, Daniel Jackson
SMI
2003
IEEE
138views Image Analysis» more  SMI 2003»
16 years 14 days ago
Higher Order Prediction for Geometry Compression
A lot of techniques have been developed for the encoding of triangular meshes as this is a widely used representation for the description of surface models. Although methods for t...
Stefan Gumhold, Rachida Amjoun
MIS
2001
Springer
89views Multimedia» more  MIS 2001»
15 years 11 months ago
Multimedia Metacomputing
The concept of multimedia metacomputing involves the formation of a large scale loosely coupled multiprocessing environment capable of performing complex transformations on media ...
Ulrich Marder, Jernej Kovse
FASE
2009
Springer
15 years 11 months ago
Interface Generation and Compositional Verification in JavaPathfinder
Abstract. We present a novel algorithm for interface generation of software components. Given a component, our algorithm uses learning techniques to compute a permissive interface ...
Dimitra Giannakopoulou, Corina S. Pasareanu