Sciweavers

1755 search results - page 306 / 351
» Symposium on document engineering
Sort
View
124
Voted
ICFEM
2004
Springer
15 years 7 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
110
Voted
ISMIR
2004
Springer
184views Music» more  ISMIR 2004»
15 years 7 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 7 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 7 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
126
Voted
DOCENG
2003
ACM
15 years 7 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