Sciweavers

330 search results - page 44 / 66
» Using Sequential Context for Image Analysis
Sort
View
IFM
2009
Springer
124views Formal Methods» more  IFM 2009»
14 years 2 months ago
Dynamic Path Reduction for Software Model Checking
We present the new technique of dynamic path reduction (DPR), which allows one to prune redundant paths from the state space of a program under verification. DPR is a very general...
Zijiang Yang, Bashar Al-Rawi, Karem Sakallah, Xiao...
IAT
2007
IEEE
14 years 1 months ago
TIBOR: A Resource-bounded Information Foraging Agent for Visual Analytics
Visual Analytics is the science of applying reasoning and analysis techniques to large, complex real-world data for problem solving using visualizations. Real world knowledge gath...
Dingxiang Liu, Anita Raja, Jayasri Vaidyanath
WSCG
2003
310views more  WSCG 2003»
13 years 9 months ago
Effective Shadow Detection in Traffic Monitoring Applications
This paper presents work we have done in detecting moving shadows in the context of an outdoor traffic scene for visual surveillance purposes. The algorithm just exploits some for...
Alessandro Bevilacqua
ICIAP
2003
ACM
14 years 7 months ago
A real-time text-independent speaker identification system
The paper presents a real-time speaker identification system based on the analysis of the audio track of a video stream. The system has been employed in the context of automatic v...
Luigi P. Cordella, Pasquale Foggia, Carlo Sansone,...
ICDAR
2009
IEEE
14 years 2 months ago
The GERMANA Database
A new handwritten text database, GERMANA, is presented to facilitate empirical comparison of different approaches to text line extraction and off-line handwriting recognition. G...
Daniel Pérez, Lionel Tarazón, Nicol&...