Sciweavers

4098 search results - page 452 / 820
» Sound mobility models
Sort
View
APLAS
2004
ACM
16 years 6 days ago
PType System: A Featherweight Parallelizability Detector
Parallel programming is becoming an important cornerstone of general computing. In addition, type systems have significant impact on program analysis. In this paper, we demonstrat...
Dana N. Xu, Siau-Cheng Khoo, Zhenjiang Hu
AMAI
2004
Springer
16 years 5 days ago
Multi-Agent Dialogue Protocols
In this paper we propose a new agent communication language which separates agent dialogue from any specific agent reasoning technology. This language is intended to address a nu...
Christopher D. Walton
ISMIR
2004
Springer
165views Music» more  ISMIR 2004»
16 years 4 days ago
Musical instrument recognition based on class pairwise feature selection
In this work, musical instrument recognition is considered on solo music from real world performance. A large sound database is used that consists of musical phrases excerpted fro...
Slim Essid, Gaël Richard, Bertrand David
KR
2004
Springer
16 years 4 days ago
A Logic of Limited Belief for Reasoning with Disjunctive Information
The goal of producing a general purpose, semantically motivated, and computationally tractable deductive reasoning service remains surprisingly elusive. By and large, approaches t...
Yongmei Liu, Gerhard Lakemeyer, Hector J. Levesque
TCC
2004
Springer
100views Cryptology» more  TCC 2004»
16 years 4 days ago
On the Random-Oracle Methodology as Applied to Length-Restricted Signature Schemes
In earlier work, we described a “pathological” example of a signature scheme that is secure in the Random Oracle Model, but for which no secure implementation exists. For that...
Ran Canetti, Oded Goldreich, Shai Halevi