Sciweavers

4719 search results - page 530 / 944
» Spreadsheet functional programming
Sort
View
134
Voted
AAAI
1990
15 years 6 months ago
Finding the Average Rates of Change in Repetitive Behavior
The repetitive behavior of a device or system can be described in two ways: a detailed description of one iteration of the behavior, or a summary description of the behavior over ...
Alexander S. Yeh
ICMCS
2010
IEEE
140views Multimedia» more  ICMCS 2010»
15 years 5 months ago
On the use of a dynamic hybrid tempo detection model for beat tracking
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...
Mikel Gainza
APAL
2008
104views more  APAL 2008»
15 years 5 months ago
Infinite trace equivalence
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...
Paul Blain Levy
AMAI
2006
Springer
15 years 5 months ago
Bargaining over multiple issues in finite horizon alternating-offers protocol
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...
Francesco Di Giunta, Nicola Gatti
146
Voted
JCS
2006
118views more  JCS 2006»
15 years 5 months ago
Enforcing Robust Declassification and Qualified Robustness
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...
Andrew C. Myers, Andrei Sabelfeld, Steve Zdancewic