Sciweavers

1265 search results - page 208 / 253
» Better Burst Detection
Sort
View
SBMF
2010
Springer
129views Formal Methods» more  SBMF 2010»
13 years 2 months ago
Directed Model Checking for B: An Evaluation and New Techniques
ProB is a model checker for high-level formalisms such as B, Event-B, CSP and Z. ProB uses a mixed depth-first/breadth-first search strategy, and in previous work we have argued th...
Michael Leuschel, Jens Bendisposto
TIP
2010
119views more  TIP 2010»
13 years 2 months ago
Fast Cartoon + Texture Image Filters
Abstract--Can images be decomposed into the sum of a geometric part and a textural part? In a theoretical breakthrough, [Y. Meyer, Oscillating Patterns in Image Processing and Nonl...
Antoni Buades, Triet M. Le, Jean-Michel Morel, Lum...
TITS
2010
118views Education» more  TITS 2010»
13 years 2 months ago
Vision-Based Infotainment User Determination by Hand Recognition for Driver Assistance
We present a novel real-time computer-vision system that robustly discriminates which of the front-row seat occupants is accessing the infotainment controls. The knowledge of who i...
Shinko Y. Cheng, Mohan M. Trivedi
ICASSP
2011
IEEE
12 years 11 months ago
Multiple-Measurement Vector model and its application to Through-the-Wall Radar Imaging
This paper addresses the problem of Through-the-Wall Radar Imaging (TWRI) using the Multiple-Measurement Vector (MMV) compressive sensing model. TWR image formation is reformulate...
Jie Yang, Abdesselam Bouzerdoum, Fok Hing Chi Tivi...
ICASSP
2011
IEEE
12 years 11 months ago
Further analysis of latent affective mapping for naturally expressive speech synthesis
An essential step in the generation of expressive speech synthesis is the automatic detection and classification of emotions most likely to be present in textual input. At last I...
Jerome R. Bellegarda