Sciweavers

10568 search results - page 716 / 2114
» Computer Intelligence and Formalization
Sort
View
AAMAS
1998
Springer
15 years 7 months ago
A Roadmap of Agent Research and Development
This paper provides an overview of research and development activities in the field of autonomous agents and multi-agent systems. It aims to identify key concepts and applications...
Nicholas R. Jennings, Katia P. Sycara, Michael Woo...
WOA
2010
15 years 5 months ago
A Self-Organising Infrastructure for Chemical-Semantic Coordination: Experiments in TuCSoN
Abstract--Recent works proposed the adoption of a natureinspired approach of chemistry for implementing service architectures suitable for pervasive applications [34]. In particula...
Elena Nardini, Mirko Viroli, Matteo Casadei, Andre...
FLAIRS
2009
15 years 5 months ago
A Comparative Study of Variable Elimination and Arc Reversal in Bayesian Network Inference
We compare two approaches to Bayesian network inference, called variable elimination (VE) and arc reversal (AR). It is established that VE never requires more space than AR, and n...
Cory J. Butz, Junying Chen, Ken Konkel, Pawan Ling...
AINA
2006
IEEE
16 years 1 months ago
Property-Based Taming of Lying Mobile Nodes
Intelligent security protocols can verify whether the involved principals have properties that are defined based on certain functional and security policies. The property we focu...
Mark Manulis, Ahmad-Reza Sadeghi
EVOW
2005
Springer
16 years 23 days ago
Evolving Reversible Circuits for the Even-Parity Problem
Reversible computing basically means computation with less or not at all electrical power. Since the standard binary gates are not usually reversible we use the Fredkin gate in ord...
Mihai Oltean