Sciweavers

8177 search results - page 514 / 1636
» Detecting System Emulators
Sort
View
IJCV
2006
107views more  IJCV 2006»
15 years 4 months ago
Behavioral Priors for Detection and Tracking of Pedestrians in Video Sequences
In this paper we address the problem of detection and tracking of pedestrians in complex scenarios. The inclusion of prior knowledge is more and more crucial in scene analysis to g...
Gianluca Antonini, Santiago Venegas-Martinez, Mich...
JAR
2008
81views more  JAR 2008»
15 years 4 months ago
Automatic Symmetry Detection for Promela
We introduce a specification language, Promela-Lite, which captures the essential features of Promela but which, unlike Promela, has a formally defined semantics. We show how we ca...
Alastair F. Donaldson, Alice Miller
157
Voted
TCS
2008
15 years 4 months ago
Loop detection in term rewriting using the eliminating unfoldings
In this paper, we present a fully automatizable approach to detecting loops in standard term rewriting. Our method is based on semi-unification and an unfolding operation which pr...
Étienne Payet
PAMI
2000
260views more  PAMI 2000»
15 years 4 months ago
Robust Real-Time Periodic Motion Detection, Analysis, and Applications
We describe new techniques to detect and analyze periodic motion as seen from both a static and moving camera. By tracking objects of interest, we compute an object's self-si...
Ross Cutler, Larry S. Davis
ITNG
2010
IEEE
15 years 3 months ago
Scalable Intrusion Detection with Recurrent Neural Networks
The ever-growing use of the Internet comes with a surging escalation of communication and data access. Most existing intrusion detection systems have assumed the one-size-fits-all...
Longy O. Anyanwu, Jared Keengwe, Gladys A. Arome