4959 search results - page 582 / 992 » Imperative Functional Programming |
182
click to vote
ICMCS
2010
IEEE
15 years 7 months ago
2010
IEEE
In this paper, an approach that estimates the times at which musical beats occur is presented. The system uses a hybrid multi-band decomposition in order to estimate the music tem...
198
click to vote
APAL
2008
15 years 7 months ago
2008
We solve a longstanding problem by providing a denotational model for nondeterministic programs that identifies two programs iff they have the same range of possible behaviours. W...
194
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
This paper presents a toolkit for spreadsheet visualization based on logical areas, semantic classes and data Logical areas, semantic classes and data modules are abstract represe...
173
click to vote
AMAI
2006
Springer
15 years 7 months ago
2006
Springer
In this paper we study multi issue alternating-offers bargaining in a perfect information finite horizon setting, we determine the pertinent subgame perfect equilibrium, and we pro...
181
click to vote
JCS
2006
15 years 6 months ago
2006
Noninterference requires that there is no information flow from sensitive to public data in a given system. However, many systems release sensitive information as part of their in...