413 search results - page 54 / 83 » An abstract Monte-Carlo method for the analysis of probabili... |
MM
2004
ACM
14 years 2 months ago
2004
ACM
In this paper, we present a novel approach for music structure analysis. A new segmentation method, beat space segmentation, is proposed and used for music chord detection and voc...
PROFES
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Software maintenance is the most expensive activity in software development. Many software companies spent a large amount of cost to maintain the existing software system...
TCC
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. We present a general method to prove security properties of cryptographic protocols against active adversaries, when the messages exchanged by the honest parties are arbi...
PLDI
2010
ACM
14 years 1 months ago
2010
ACM
We present smooth interpretation, a method to systematically approximate numerical imperative programs by smooth mathematical functions. This approximation facilitates the use of ...
IFIP
2009
Springer
13 years 6 months ago
2009
Springer
Abstract. Enterprise architecture (EA) management forms a commonly accepted means to enhance the alignment of business and IT, and to support the managed evolution of the enterpris...