Sciweavers

678 search results - page 58 / 136
» A Universal Framework for Self-Replication
Sort
View
LICS
2006
IEEE
15 years 3 months ago
A Congruence Rule Format for Name-Passing Process Calculi from Mathematical Structural Operational Semantics
d Abstract) Marcelo Fiore∗ and Sam Staton† Computer Laboratory, University of Cambridge We introduce a mathematical structural operational semantics that yields a congruence r...
Marcelo P. Fiore, Sam Staton
AH
2000
Springer
15 years 2 months ago
An Agent-Based Approach to Adaptive Hypermedia Using a Link Service
This paper describes an approach to adaptive hypermedia by incorporating linkbases into an agent-based system (PAADS). The agents are built on top of an agent framework developed a...
Christopher Bailey, Wendy Hall
ECAI
1998
Springer
15 years 2 months ago
Nonmonotonic Reasoning in Probabilistics
In probabilistics, reasoning at optimum entropy (ME-reasoning) has proved to be a most sound and consistent method for inference. This paper investigates its properties in the fram...
Gabriele Kern-Isberner
OFAI
1997
Springer
114views Robotics» more  OFAI 1997»
15 years 1 months ago
What Sort of Control System Is Able to Have a Personality?
This paper outlines a design-based methodology for the study of mind as a part of thebroaddisciplineofArtificial Intelligence. Withinthat frameworksome architectural requirements...
Aaron Sloman
EUROCRYPT
2006
Springer
15 years 1 months ago
Polling with Physical Envelopes: A Rigorous Analysis of a Human-Centric Protocol
We propose simple, realistic protocols for polling that allow the responder to plausibly repudiate his response, while at the same time allow accurate statistical analysis of poll ...
Tal Moran, Moni Naor