Sciweavers

9841 search results - page 648 / 1969
» Distributed Value Functions
Sort
View
192
Voted
FOCS
2005
IEEE
16 years 27 days ago
Concurrent Non-Malleable Commitments
We present a non-malleable commitment scheme that retains its security properties even when concurrently executed a polynomial number of times. That is, a manin-the-middle adversa...
Rafael Pass, Alon Rosen
181
Voted
HICSS
2005
IEEE
132views Biometrics» more  HICSS 2005»
16 years 27 days ago
Multi-Expert Decision-Making with Linguistic Information: A Probabilistic-Based Model
It is well-known that linguistic decision-making problems that manage preferences from different experts follow a common resolution scheme composed by two phases: an aggregation p...
Van-Nam Huynh, Yoshiteru Nakamori
ESOP
2005
Springer
16 years 25 days ago
Interprocedural Herbrand Equalities
We present an aggressive interprocedural analysis for inferring value equalities which are independent of the concrete interpretation of the operator symbols. These equalities, cal...
Markus Müller-Olm, Helmut Seidl, Bernhard Ste...
157
Voted
ISMIR
2004
Springer
100views Music» more  ISMIR 2004»
16 years 20 days ago
Well-Tempered Spelling: A Key Invariant Pitch Spelling Algorithm
In this paper is described a data-driven algorithm for the functionally correct spelling of MIDI pitch values in terms of Western musical notation. Input is in the form of MIDI fi...
Josh Stoddard, Christopher Raphael, Paul E. Utgoff
ARITH
2003
IEEE
16 years 18 days ago
Revisiting SRT Quotient Digit Selection
The quotient digit selection in the SRT division algorithm is based on a few most significant bits of the remainder and divisor, where the remainder is usually represented in a r...
Peter Kornerup