1837 search results - page 219 / 368 » Abstraction and the C Machine Model |
150
click to vote
ARCS
2006
Springer
15 years 9 months ago
2006
Springer
Abstract: We present a formal framework to talk and reason about dependable systems. The framework is based on three distinct classes of (system specification) properties we call s...
160
click to vote
IESA
2007
15 years 7 months ago
2007
In this paper we propose a new approach for service-oriented enterprise application integration (EAI). Unlike current EAI solutions, which mainly focus on technological aspects, ou...
182
click to vote
CLEF
2011
Springer
14 years 5 months ago
2011
Springer
Abstract. We propose a generative model for automatic query reformulations from an initial query using the underlying subtopic structure of top ranked retrieved documents. We addre...
143
click to vote
ISMIR
2004
Springer
15 years 11 months ago
2004
Springer
We describe an efficient learning algorithm for aligning a symbolic representation of a musical piece with its acoustic counterpart. Our method employs a supervised learning appr...
153
click to vote
CP
2006
Springer
15 years 9 months ago
2006
Springer
Distributed computing is increasingly important at a time when the doubling of the number of transistors on a processor every 18 months no longer translates in a doubling of speed ...