Sciweavers

706 search results - page 45 / 142
» Reporting Flock Patterns
Sort
View
PASTE
2004
ACM
14 years 3 months ago
Dynamically inferring temporal properties
Model checking requires a specification of the target system’s desirable properties, some of which are temporal. Formulating a property of the system based on either its abstrac...
Jinlin Yang, David Evans
ICIAR
2004
Springer
14 years 3 months ago
Visual Object Recognition Through One-Class Learning
Abstract. In this paper, several one-class classification methods are investigated in pixel space and PCA (Principal component Analysis) subspace having in mind the need of finding...
QingHua Wang, Luís Seabra Lopes, David M. J...
MCS
2004
Springer
14 years 3 months ago
High Security Fingerprint Verification by Perceptron-Based Fusion of Multiple Matchers
Recent works about perceptron-based fusion of multiple fingerprint matchers showed the effectiveness of such approach in improving the performance of personal identity verification...
Gian Luca Marcialis, Fabio Roli
SSPR
2004
Springer
14 years 3 months ago
Understanding Human-Computer Interactions in Map Revision
Abstract. It is difficult to track, parse and model human-computer interactions during editing and revising of documents, but it is necessary if we are to develop automated technol...
Jun Zhou, Walter F. Bischof, Terry Caelli
CPM
2001
Springer
98views Combinatorics» more  CPM 2001»
14 years 2 months ago
Regular Expression Searching over Ziv-Lempel Compressed Text
We present a solution to the problem of regular expression searching on compressed text. The format we choose is the Ziv-Lempel family, speci cally the LZ78 and LZW variants. Give...
Gonzalo Navarro