Sciweavers

7682 search results - page 379 / 1537
» Active Appearance Models
Sort
View
MLMI
2007
Springer
16 years 1 months ago
Modeling Vocal Interaction for Segmentation in Meeting Recognition
Automatic segmentation is an important technology for both automatic speech recognition and automatic speech understanding. In meetings, participants typically vocalize for only a ...
Kornel Laskowski, Tanja Schultz
CORR
2008
Springer
90views Education» more  CORR 2008»
15 years 7 months ago
A Queueing System for Modeling a File Sharing Principle
We investigate in this paper the performance of a file sharing principle similar to the one implemented by eMule. For this purpose, we consider a system composed of N peers becomi...
Florian Simatos, Philippe Robert, Fabrice Guillemi...
ICASSP
2009
IEEE
15 years 4 months ago
Modelling the neurovascular habituation effect on fMRI time series
In this paper, a novel non-stationary model of functional Magnetic Resonance Imaging (fMRI) time series is proposed. It allows us to account for some putative habituation effect a...
Philippe Ciuciu, Stéphane Sockeel, Thomas V...
DATE
2006
IEEE
81views Hardware» more  DATE 2006»
16 years 27 days ago
Lock-free synchronization for dynamic embedded real-time systems
We consider lock-free synchronization for dynamic embedded real-time systems that are subject to resource overloads and arbitrary activity arrivals. We model activity arrival beha...
Hyeonjoong Cho, Binoy Ravindran, E. Douglas Jensen
ATVA
2006
Springer
160views Hardware» more  ATVA 2006»
15 years 10 months ago
Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols
Ping-pong protocols with recursive definitions of agents, but without any active intruder, are a Turing powerful model. We show that under the environment sensitive semantics (i.e....
Giorgio Delzanno, Javier Esparza, Jirí Srba