5272 search results - page 943 / 1055 » Design of Social Agents |
RULEML
2009
Springer
14 years 3 months ago
2009
Springer
We present the design and implementation of SPINdle – an open source Java based defeasible logic reasoner capable to perform efficient and scalable reasoning on defeasible logic...
ICECCS
2008
IEEE
14 years 3 months ago
2008
IEEE
A challenge for pervasive computing is the seamless integration of computer support with users’ activities in a very dynamic setting, with deep human and resource mobility. Port...
RECONFIG
2008
IEEE
14 years 3 months ago
2008
IEEE
In the context of the emergence of alternative computing resources to address the challenge of the upcoming end of Moore’s law, we consider the feasibility of gathering computat...
ACSAC
2007
IEEE
14 years 3 months ago
2007
IEEE
This paper describes the design of a peer-to-peer network that supports integrity and confidentiality labeling of shared data. A notion of data ownership privacy is also enforced...
CEC
2007
IEEE
14 years 3 months ago
2007
IEEE
— We present an ant model that solves a discrete foraging problem. We describe simulations and provide a complete convergence analysis: we show that the ant population computes t...