Sciweavers

511 search results - page 11 / 103
» Computational aspects of the FLBC framework
Sort
View
WADT
1998
Springer
14 years 1 months ago
Non-deterministic Computations in ELAN
Abstract. The ELAN system is an environment for specifying and prototyping constraint solvers, theorem provers and deduction systems in general. It also provides a framework for ex...
Hélène Kirchner, Pierre-Etienne More...
ICML
1989
IEEE
14 years 26 days ago
Higher-Order and Modal Logic as a Framework for Explanation-Based Generalization
Logic programming provides a uniform framework in which all aspects of explanation-based generalization and learning may be defined and carried out, but first-order Horn logic i...
Scott Dietzen, Frank Pfenning
CRIWG
2003
13 years 10 months ago
An Agent Framework to Support Opportunistic Collaboration
In increasingly networked times, CSCW systems have become more common. In most of these, individuals work collaboratively from their personal computer terminals, unaware of their p...
Melfry Moreno, Adriana Santarosa Vivacqua, Jano Mo...
CVIU
2008
203views more  CVIU 2008»
13 years 9 months ago
A computer vision model for visual-object-based attention and eye movements
This paper presents a new computational framework for modelling visual-object based attention and attention-driven eye movements within an integrated system in a biologically insp...
Yaoru Sun, Robert B. Fisher, Fang Wang, Herman Mar...
LOGCOM
1998
126views more  LOGCOM 1998»
13 years 8 months ago
Engineering AgentSpeak(L): A Formal Computational Model
Perhaps the most successful agent architectures, and certainly the best known, are those based on the Belief-Desire-Intention (BDI) framework. Despite the wealth of research that ...
Mark d'Inverno, Michael Luck