Sciweavers

3016 search results - page 265 / 604
» Biochemically-Inspired Emergent Computation
Sort
View
ICDT
2009
ACM
121views Database» more  ICDT 2009»
15 years 4 months ago
Automatic verification of database-driven systems: a new frontier
We describe a novel approach to verification of software systems centered around an underlying database. Instead of applying general-purpose techniques with only partial guarantee...
Victor Vianu
ICASSP
2011
IEEE
14 years 10 months ago
Real-time and multi-view face tracking on mobile platform
The development of mobile platform has raised an emergent requirement for face-related multimedia applications. However, as the basis of such applications, face detection and trac...
Lei Xu, Jiangwei Li, Kongqiao Wang
ICASSP
2011
IEEE
14 years 10 months ago
Multiple LDPC decoding using bitplane correlation for Transform Domain Wyner-Ziv video coding
Distributed video coding (DVC) is an emerging video coding paradigm for systems which fully or partly exploit the source statistics at the decoder to reduce the computational burd...
Huynh Van Luong, Xin Huang, Søren Forchhamm...
ICASSP
2011
IEEE
14 years 10 months ago
Explicit recursivity into reproducing kernel Hilbert spaces
This paper presents a methodology to develop recursive filters in reproducing kernel Hilbert spaces (RKHS). Unlike previous approaches that exploit the kernel trick on filtered ...
Devis Tuia, Gustavo Camps-Valls, Manel Martí...
ICASSP
2011
IEEE
14 years 10 months ago
Discriminative simplification of mixture models
Simplification of mixture models has recently emerged as an important issue in the field of statistical learning. The heavy computational demands of using large order models dro...
Yossi Bar-Yosef, Yuval Bistritz