Sciweavers

645 search results - page 49 / 129
» Agency in Natural and Artificial Systems
Sort
View
WWW
2006
ACM
14 years 9 months ago
An e-market framework for informed trading
Fully automated trading, such as e-procurement, using the Internet is virtually unheard of today. Three core technologies are needed to fully automate the trading process: data mi...
John K. Debenham, Simeon J. Simoff
LFCS
2009
Springer
14 years 3 months ago
The Logic of Proofs as a Foundation for Certifying Mobile Computation
We explore an intuitionistic fragment of Art¨emov’s Logic of Proofs as a type system for a programming language for mobile units. Such units consist of both a code and certific...
Eduardo Bonelli, Federico Feller
AI
2005
Springer
14 years 2 months ago
SWAMI: Searching the Web Using Agents with Mobility and Intelligence
The rapid growth of the World Wide Web has complicated the process of web browsing by providing an overwhelming wealth of choices for the end user. To alleviate this burden, intell...
Mark Kilfoil, Ali A. Ghorbani
ECAI
2004
Springer
14 years 2 months ago
Expectation Reasoning Using Regret and Disappointment
A critical aspect of an agent system is the ability to deal with unexpected situations to determine an appropriate course of action in a changing environment. In this paper, we inv...
Bình Vu Trân, James Harland, Margaret...
ICARIS
2004
Springer
14 years 2 months ago
Immune System Approaches to Intrusion Detection - A Review
The use of artificial immune systems in intrusion detection is an appealing concept for two reasons. Firstly, the human immune system provides the human body with a high level of ...
Uwe Aickelin, Julie Greensmith, Jamie Twycross