Sciweavers

1805 search results - page 83 / 361
» A Theory of Closure Operators
Sort
View
FROCOS
2009
Springer
15 years 9 months ago
A Declarative Agent Programming Language Based on Action Theories
We discuss a new concept of agent programs that combines logic programming with reasoning about actions. These agent logic programs are characterized by a clear separation between ...
Conrad Drescher, Stephan Schiffel, Michael Thielsc...
EUROSSC
2009
Springer
15 years 7 months ago
Using Dempster-Shafer Theory of Evidence for Situation Inference
Abstract. In the domain of ubiquitous computing, the ability to identify the occurrence of situations is a core function of being ’contextaware’. Given the uncertain nature of ...
Susan McKeever, Juan Ye, Lorcan Coyle, Simon A. Do...
ESANN
2007
15 years 5 months ago
An overview of reservoir computing: theory, applications and implementations
Training recurrent neural networks is hard. Recently it has however been discovered that it is possible to just construct a random recurrent topology, and only train a single linea...
Benjamin Schrauwen, David Verstraeten, Jan M. Van ...
INTERACT
2003
15 years 5 months ago
Methods for Applying Activity Theory to HCI Design
: Activity Theory (AT) has been a recognised framework for enhancing design practices in HCI and related disciplines for a couple of decades. In most cases, AT has been deployed as...
Daisy Mwanza, Olav W. Bertelsen
CORR
2008
Springer
94views Education» more  CORR 2008»
15 years 4 months ago
Decision Support with Belief Functions Theory for Seabed Characterization
The seabed characterization from sonar images is a very hard task because of the produced data and the unknown environment, even for an human expert. In this work we propose an ori...
Arnaud Martin, Isabelle Quidu