Sciweavers

3710 search results - page 263 / 742
» A new calculus of contexts
Sort
View
227
Voted
ICANN
2009
Springer
15 years 11 months ago
Probability-Based Distance Function for Distance-Based Classifiers
In the paper a new measure of distance between events/observations in the pattern space is proposed and experimentally evaluated with the use of k-NN classifier in the context of b...
Cezary Dendek, Jacek Mandziuk
ATAL
2006
Springer
15 years 11 months ago
Goal-oriented modularity in agent programming
Modularization is widely recognized as a central issue in software engineering. In this paper we address the issue of modularization in cognitive agent programming languages. We d...
M. Birna van Riemsdijk, Mehdi Dastani, John-Jules ...
197
Voted
AUSAI
2006
Springer
15 years 11 months ago
Hardware Implementation of Temporal Nonmonotonic Logics
Abstract. In order to apply nonmonotonic logics for specifying industrial automation controllers, we define (1) a method to extend atemporal nonmonotonic logics with temporal opera...
Insu Song, Guido Governatori
FM
2006
Springer
124views Formal Methods» more  FM 2006»
15 years 11 months ago
Compositional Binding in Network Domains
This paper considers network services that bind identifiers in the course of delivering messages, and also persistent, point-to-point connections made in the context of such bindin...
Pamela Zave
228
Voted
CRYPTO
1995
Springer
140views Cryptology» more  CRYPTO 1995»
15 years 11 months ago
Bucket Hashing and its Application to Fast Message Authentication
We introduce a new technique for constructing a family of universal hash functions. At its center is a simple metaphor: to hash a string x, cast each of its words into a small numb...
Phillip Rogaway