Sciweavers

2620 search results - page 294 / 524
» An Evaluation Technique for Binarization Algorithms
Sort
View
PAAPP
2007
398views more  PAAPP 2007»
15 years 6 months ago
Counting people using video cameras
The paper is devoted to the problem of estimating the number of people visible in a camera. It uses as features a portion of foreground pixels in each cell of a rectangular grid. ...
Damian Roqueiro, Valery A. Petrushin
RV
2010
Springer
171views Hardware» more  RV 2010»
15 years 4 months ago
Runtime Verification for Software Transactional Memories
Software transactional memories (STMs) promise simple and efficient concurrent programming. Several correctness properties have been proposed for STMs. Based on a bounded conflict ...
Vasu Singh
ICASSP
2011
IEEE
14 years 10 months ago
Interpolation based on stationary and adaptive AR(1) modeling
In this paper, we describe a minimal mean square error (MMSE) optimal interpolation filter for discrete random signals. We explicitly derive the interpolation filter for a firs...
Eija Johansson, Marie Strom, Mats Viberg, Lennart ...
EXPERT
1998
86views more  EXPERT 1998»
15 years 6 months ago
IMACS: A Case Study in Real-World Planning
This article illustrates the complexities of real-world planning and how we can create AI planning systems to address them. We describe the IMACS Project (Interactive Manufacturab...
Satyandra K. Gupta, Dana S. Nau, William C. Regli
SIGSOFT
2006
ACM
16 years 7 months ago
Dynamic slicing long running programs through execution fast forwarding
Fixing runtime bugs in long running programs using trace based analyses such as dynamic slicing was believed to be prohibitively expensive. In this paper, we present a novel execu...
Xiangyu Zhang, Sriraman Tallam, Rajiv Gupta