3233 search results - page 618 / 647 » Rule Modeling and Markup |
144
click to vote
CCS
2005
ACM
15 years 7 months ago
2005
ACM
The NRL Protocol Analyzer (NPA) is a tool for the formal specification and analysis of cryptographic protocols that has been used with great effect on a number of complex real-l...
119
click to vote
ISMIR
2005
Springer
15 years 7 months ago
2005
Springer
This paper presents a melody spotting system based on Variable Duration Hidden Markov Models (VDHMM’s), capable of locating monophonic melodies in a database of raw audio record...
134
click to vote
TBILLC
2005
Springer
15 years 7 months ago
2005
Springer
Case attraction has stood as a puzzling, and elusive, oddity of older Indo-European languages. This paper focuses on attraction in Ancient Greek, establishing both the regularity o...
114
click to vote
CAISE
2004
Springer
15 years 7 months ago
2004
Springer
This paper outlines an ontology for characterising architecture frameworks. The ontology is based on the metamodel of MAF, and is currently being tried out on a set of well-known e...
126
click to vote
SAC
2003
ACM
15 years 7 months ago
2003
ACM
Adaptive web sites are sites that automatically improve their internal organization and/or presentation by observing userbrowsing behavior. In this paper we argue that adaptive be...