6719 search results - page 139 / 1344 » A Generalization of Automatic Sequences |
137
Voted
PSIVT
2007
Springer
15 years 9 months ago
2007
Springer
This paper presents a novel approach for automatic people counting in videos captured through a conventional closed-circuit television (CCTV) using computer vision techniques. The ...
152
Voted
JUCS
2010
14 years 10 months ago
2010
: There is a need for more rigorous analysis techniques that developers can use for verifying the critical properties in UML models. The UML-based Specification Environment (USE) t...
174
Voted
BMCBI
2011
14 years 7 months ago
2011
Background: Alternative splicing of pre-mature RNA is an important process eukaryotes utilize to increase their repertoire of different protein products. Several types of differen...
144
Voted
ECCV
2006
Springer
16 years 5 months ago
2006
Springer
Abstract. In spite of over two decades of intense research, illumination and pose invariance remain prohibitively challenging aspects of face recognition for most practical applica...
138
Voted
KDD
2004
ACM
16 years 4 months ago
2004
ACM
We report on an automated runtime anomaly detection method at the application layer of multi-node computer systems. Although several network management systems are available in th...