Sciweavers

567 search results - page 83 / 114
» Lightweight Extraction of Object Models from Bytecode
Sort
View
TIP
2008
344views more  TIP 2008»
13 years 7 months ago
A Self-Organizing Approach to Background Subtraction for Visual Surveillance Applications
Detection of moving objects in video streams is the first relevant step of information extraction in many computer vision applications. Aside from the intrinsic usefulness of being...
Lucia Maddalena, Alfredo Petrosino
ICSE
2010
IEEE-ACM
13 years 9 months ago
SMT-based bounded model checking for multi-threaded software in embedded systems
The transition from single-core to multi-core processors has made multi-threaded software an important subject over the last years in computer-aided verification. Model checkers ...
Lucas Cordeiro
HCI
2009
13 years 5 months ago
Using Graphical Models for an Intelligent Mixed-Initiative Dialog Management System
The main goal of dialog management is to provide all information needed to perform e. g. a SQL-query, a navigation task, etc. Two principal approaches for dialog management systems...
Stefan Schwärzler, Günther Ruske, Frank ...
MIS
1999
Springer
193views Multimedia» more  MIS 1999»
13 years 12 months ago
Facilitating Spatio-Temporal Operations in a Versatile Video Database System
In a video database, large amount of information involving video, audio, and/or images needs to be stored and managed. Therefore, there is an important need for novel techniques a...
Shermann S.-M. Chan, Qing Li
ICASSP
2011
IEEE
12 years 11 months ago
Discriminatively trained Probabilistic Linear Discriminant Analysis for speaker verification
Recently, i-vector extraction and Probabilistic Linear Discriminant Analysis (PLDA) have proven to provide state-of-the-art speaker verification performance. In this paper, the s...
Lukas Burget, Oldrich Plchot, Sandro Cumani, Ondre...