Sciweavers

248 search results - page 28 / 50
» A non-holonomic systems approach to special function identit...
Sort
View
ICSE
2000
IEEE-ACM
13 years 11 months ago
Producing more reliable software: mature software engineering process vs. state-of-the-art technology?
: Producing More Reliable Software: Mature Software Engineering Process vs. State-of-the-Art Technology? A customer of high assurance software recently sponsored a software enginee...
James C. Widmaier
VLDB
2003
ACM
114views Database» more  VLDB 2003»
14 years 7 months ago
Managing multiple and distributed ontologies on the Semantic Web
Abstract. In traditional software systems, significant attention is devoted to keeping modules well separated and coherent with respect to functionality, thus ensuring that changes...
Alexander Maedche, Boris Motik, Ljiljana Stojanovi...
STOC
2001
ACM
122views Algorithms» more  STOC 2001»
14 years 7 months ago
One-dimensional quantum walks
In this paper we analyze the behavior of quantum random walks. In particular we present several new results for the absorption probabilities in systems with both one and two absor...
Andris Ambainis, Eric Bach, Ashwin Nayak, Ashvin V...
CORR
2007
Springer
91views Education» more  CORR 2007»
13 years 7 months ago
Unequal dimensional small balls and quantization on Grassmann Manifolds
—The Grassmann manifold Gn,p (L) is the set of all p-dimensional planes (through the origin) in the n-dimensional Euclidean space Ln , where L is either R or C. This paper consid...
Wei Dai, Brian Rider, Youjian Liu
ISMIR
2004
Springer
90views Music» more  ISMIR 2004»
14 years 28 days ago
Automatic extraction of music descriptors from acoustic signals
High-Level music descriptors are key ingredients for music information retrieval systems. Although there is a long tradition in extracting information from acoustic signals, the f...
François Pachet, Aymeric Zils