Sciweavers

1624 search results - page 170 / 325
» Modelling Variability for System Families
Sort
View
126
Voted
ICMCS
2006
IEEE
141views Multimedia» more  ICMCS 2006»
15 years 9 months ago
Consistent Goal-Directed User Model for Realisitc Man-Machine Task-Oriented Spoken Dialogue Simulation
Because of the great variability of factors to take into account, designing a spoken dialogue system is still a tailoring task. Rapid design and reusability of previous work is ma...
Olivier Pietquin
KES
2009
Springer
15 years 10 months ago
Urban Vehicle Tracking Using a Combined 3D Model Detector and Classifier
This paper presents a tracking system for vehicles in urban traffic scenes. The task of automatic video analysis for existing CCTV infrastructure is of increasing interest due to b...
Norbert Buch, Fei Yin, James Orwell, Dimitrios Mak...
144
Voted
FM
2009
Springer
169views Formal Methods» more  FM 2009»
15 years 7 months ago
Model Checking Linearizability via Refinement
Abstract. Linearizability is an important correctness criterion for implementations of concurrent objects. Automatic checking of linearizability is challenging because it requires ...
Yang Liu 0003, Wei Chen, Yanhong A. Liu, Jun Sun 0...
133
Voted
3DPVT
2004
IEEE
183views Visualization» more  3DPVT 2004»
15 years 7 months ago
Projection Model, 3D Reconstruction and Rigid Motion Estimation from Non-Central Catadioptric Images
This paper addresses the problem of rigid motion estimation and 3D reconstruction in vision systems where it is possible to recover the incident light ray direction from the image...
Nuno Gonçalves, Helder Araújo
166
Voted
CDC
2008
IEEE
186views Control Systems» more  CDC 2008»
15 years 5 months ago
A mathematical model of the Skype VoIP congestion control algorithm
The Internet is changing from being only an efficient platform for data delivery to become also a platform for audio/video applications. The stability of the traditional Internet i...
Luca De Cicco, Saverio Mascolo, Vittorio Palmisano