1302 search results - page 182 / 261 » Soundness in the Public-Key Model |
175
click to vote
EPIA
2005
Springer
15 years 12 months ago
2005
Springer
Theoretical research has spent some years facing the problem of how to represent and provide semantics to updates of logic programs. This problem is relevant for addressing highly ...
161
click to vote
SEMWEB
2005
Springer
15 years 12 months ago
2005
Springer
Semantic query optimization (SQO) has been proved to be quite useful in various applications (e.g., data integration, graphical query generators, caching, etc.) and has been extens...
148
click to vote
APLAS
2004
ACM
15 years 11 months ago
2004
ACM
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...
172
click to vote
AMAI
2004
Springer
15 years 11 months ago
2004
Springer
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...
138
click to vote
ISMIR
2004
Springer
15 years 11 months ago
2004
Springer
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...