Sciweavers

1755 search results - page 306 / 351
» Symposium on document engineering
Sort
View
ICFEM
2004
Springer
15 years 10 months ago
Memory-Model-Sensitive Data Race Analysis
Abstract. We present a “memory-model-sensitive” approach to validating correctness properties for multithreaded programs. Our key insight is that by specifying both the inter-t...
Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom
ISMIR
2004
Springer
184views Music» more  ISMIR 2004»
15 years 10 months ago
A Polyphonic Music Retrieval System Using N-Grams
This paper describes the development of a polyphonic music retrieval system with the n-gram approach. Musical n-grams are constructed from polyphonic musical performances in MIDI ...
Shyamala Doraisamy, Stefan M. Rüger
XSYM
2004
Springer
115views Database» more  XSYM 2004»
15 years 10 months ago
XQuery Processing with Relevance Ranking
Abstract. We are presenting a coherent framework for XQuery processing that incorporates IR-style approximate matching and allows the ordering of results by their relevance score. ...
Leonidas Fegaras
ACSAC
2003
IEEE
15 years 10 months ago
MLS-PCA: A High Assurance Security Architecture for Future Avionics
1 DOD Joint Vision 2020 (JV2020) is the integrated multi-service planning document for conduct among coalition forces of future warfare. It requires the confluence of a number of k...
Clark Weissman
DOCENG
2003
ACM
15 years 10 months ago
Lazy XSL transformations
We introduce a lazy XSLT interpreter that provides random access to the transformation result. This allows efficient pipelining of transformation sequences. Nodes of the result tr...
Steffen Schott, Markus L. Noga