Sciweavers

973 search results - page 70 / 195
» Arguing Using Opponent Models
Sort
View
CCIA
2009
Springer
13 years 8 months ago
A Formalization of Trust Alignment
We present a mathematical framework for communicating about trust in terms of interactions. We argue that sharing an ontology about trust is not enough and that interactions are th...
Andrew Koster, Jordi Sabater-Mir, W. Marco Schorle...
COLT
1994
Springer
13 years 11 months ago
Bayesian Inductive Logic Programming
Inductive Logic Programming (ILP) involves the construction of first-order definite clause theories from examples and background knowledge. Unlike both traditional Machine Learnin...
Stephen Muggleton
IJCNN
2007
IEEE
14 years 2 months ago
Self-Organizing Maps as Traveling Computational Templates
In this article we approach neural networks as computational templates that travel across various sciences. Traditionally, it has been thought that models are primarily models of s...
Tarja Knuuttila, Anna-Mari Rusanen, Timo Honkela
GISCIENCE
2004
Springer
110views GIS» more  GISCIENCE 2004»
14 years 1 months ago
Information Dissemination in Mobile Ad-Hoc Geosensor Networks
This paper addresses the issue of how to disseminate relevant information to mobile agents within a geosensor network. Conventional mobile and location-aware systems are founded on...
Silvia Nittel, Matt Duckham, Lars Kulik
ACSD
2003
IEEE
115views Hardware» more  ACSD 2003»
14 years 1 months ago
Component-Based Design: Towards Guided Composition
In this paper, we present a mathematical model for the composition of software components, at a semantic modelling level. We describe a mathematical concept of a single software c...
Sotiris Moschoyiannis, Michael W. Shields