13383 search results - page 2415 / 2677 » Abstractions from proofs |
122
click to vote
ICPR
2000
IEEE
15 years 7 months ago
2000
IEEE
Abstract. An accurate analysis of a large dynamic system like our oceans requires spatially fine and temporally matched data collection methods. Current methods to estimate fish st...
153
Voted
ISMIR
2000
Springer
15 years 7 months ago
2000
Springer
Active listening is the core of musical activity Listening does not only concern receiving musical information. On the contrary, it is "active" and based on a set of int...
129
Voted
ATAL
1997
Springer
15 years 7 months ago
1997
Springer
The Procedural Reasoning System (PRS) is the best established agent architecture currently available. It has been deployed in many major industrial applications, ranging from fault...
140
Voted
PADL
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. xml is a language for describing markup languages for structured data. A growing number of applications that process xml documents are transformers, i.e., programs that c...
179
Voted
PKC
2000
Springer
15 years 7 months ago
2000
Springer
A number of signature schemes and standards have been recently designed, based on the Discrete Logarithm problem. In this paper we conduct design validation of such schemes while t...