4752 search results - page 816 / 951 » From computation models to models of provenance: the RWS app... |
116
click to vote
CHARME
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We propose a new saturation-based symbolic state-space generation algorithm for finite discrete-state systems. Based on the structure of the high-level model specificat...
117
click to vote
EDCC
2005
Springer
15 years 7 months ago
2005
Springer
The fair exchange problem is key to trading electronic items in systems of mutually untrusted parties. In modern variants of such systems, each party is equipped with a security mo...
115
click to vote
ISMIR
2004
Springer
15 years 7 months ago
2004
Springer
In the last few years, several algorithms for the automatic alignment of audio and score data corresponding to the same piece of music have been proposed. Among the major drawback...
147
click to vote
NMR
2004
Springer
15 years 7 months ago
2004
Springer
The relation between answer set programming (ASP) and propositional satisfiability (SAT) is at the center of many research papers, partly because of the tremendous performance bo...
102
click to vote
SIGGRAPH
2010
ACM
15 years 6 months ago
2010
ACM
We present a novel rendering system for defocus blur and lens effects. It supports physically-based rendering and outperforms previous approaches by involving a novel GPU-based tr...