4631 search results - page 815 / 927 » Experiences with an Environment Generation System |
125
click to vote
MM
2005
ACM
15 years 10 months ago
2005
ACM
We report experiments on the use of standard natural language processing (NLP) tools for the analysis of music lyrics. A significant amount of music audio has lyrics. Lyrics enco...
138
click to vote
FASE
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Blast is an automatic verification tool for checking temporal safety properties of C programs. Given a C program and a temporal safety property, Blast statically proves ...
152
click to vote
ICS
2005
Tsinghua U.
15 years 10 months ago
2005
Tsinghua U.
We consider a cluster architecture in which dynamic content is generated by a database back-end and a collection of Web and application server front-ends. We study the effect of t...
153
click to vote
SAC
2004
ACM
15 years 10 months ago
2004
ACM
In our present work we introduce the use of data fusion in the field of DoS anomaly detection. We present DempsterShafer’s Theory of Evidence (D-S) as the mathematical foundati...
144
click to vote
ADAEUROPE
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. The development of real-time distributed applications requires middleware providing both reliability and performance. Middleware must be adaptable to meet application req...