Sciweavers

1006 search results - page 146 / 202
» Locally Orderless Tracking
Sort
View
126
Voted
LFCS
2009
Springer
15 years 9 months ago
The Logic of Proofs as a Foundation for Certifying Mobile Computation
We explore an intuitionistic fragment of Art¨emov’s Logic of Proofs as a type system for a programming language for mobile units. Such units consist of both a code and certific...
Eduardo Bonelli, Federico Feller
ICASSP
2008
IEEE
15 years 9 months ago
Audio cover song identification based on tonal sequence alignment
Nowadays, the term cover song (or simply cover) can mean any new version, performance, rendition, or recording of a previously recorded track. Cover song identification is a task...
Joan Serrà, Emilia Gómez
200
Voted
ICMCS
2008
IEEE
167views Multimedia» more  ICMCS 2008»
15 years 9 months ago
Statistical processing of video for detection of events in space and time
Recently, advanced video processing systems have been developed for numerous applications, such as surveillance, tracking, monitoring, object and event detection. The large size o...
Alexia Briassouli, Ioannis Kompatsiaris
108
Voted
VTC
2008
IEEE
114views Communications» more  VTC 2008»
15 years 8 months ago
Improving Ad Hoc Networks Capacity and Connectivity Using Dynamic Blind Beamforming
— We propose a dynamic blind beamforming scheme which allows to benefit from antenna directivity in large mobile ad hoc networks while avoiding heavy feedback to track mobile no...
Nadia Fawaz, Zafer Beyaztas, David Gesbert, M&eacu...
144
Voted
FUZZIEEE
2007
IEEE
15 years 8 months ago
Real-Time Facial Expression Recognition Using a Fuzzy Emotion Model
— This paper presents the fuzzy video based emotion recognition system VISBER, that allows to analyze facial expressions in video sequences. In order to process images in real-ti...
Natascha Esau, Evgenija Wetzel, Lisa Kleinjohann, ...