887 search results - page 71 / 178 » Automated Detection of Design Patterns |
PLILP
1998
Springer
15 years 2 months ago
1998
Springer
Abstract. We address the problem of term normalisation modulo associativecommutative (AC) theories, and describe several techniques for compiling many-to-one AC matching and reduce...
FLOPS
2008
Springer
14 years 11 months ago
2008
Springer
Dependent types are useful for statically checking detailed specifications of programs and detecting pattern match or array bounds errors. We propose a novel approach to applicatio...
CIA
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. This paper presents a design of high-performance agentbased intrusion detection system designed for deployment on high-speed network links. To match the speed requirement...
DAC
2001
ACM
15 years 10 months ago
2001
ACM
Highlighted with the newly released intellectual property (IP) protection white paper by VSI Alliance, the protection of virtual components (VCs) has received a large amount of at...
102
click to vote
ACIVS
2005
Springer
15 years 3 months ago
2005
Springer
We describe an automated system that classifies gender by utilising a set of human gait data. The gender classification system consists of three stages: i) detection and extraction...