Sciweavers

1446 search results - page 176 / 290
» Testing for Concise Representations
Sort
View
IJNS
2007
133views more  IJNS 2007»
13 years 10 months ago
Online Learning of Objects in a Biologically Motivated Visual Architecture
We present a biologically motivated architecture for object recognition that is capable of online learning of several objects based on interaction with a human teacher. The system...
Heiko Wersing, Stephan Kirstein, Michael Gött...
JOLLI
2007
128views more  JOLLI 2007»
13 years 10 months ago
Linear temporal logic as an executable semantics for planning languages
This paper presents an approach to artificial intelligence planning based on linear temporal logic (LTL). A simple and easy-to-use planning language is described, PDDL-K (Planning...
Marta Cialdea Mayer, Carla Limongelli, Andrea Orla...
CL
2004
Springer
13 years 10 months ago
Nesting analysis of mobile ambients
A new algorithm is introduced for analyzing possible nestings in mobile ambient calculus. It improves both time and space complexities of the technique proposed by Nielson and Sei...
Chiara Braghin, Agostino Cortesi, Riccardo Focardi...
AI
1999
Springer
13 years 10 months ago
Information Retrieval and Artificial Intelligence
This paper addresses the relations between information retrieval (IR) and AI. It examines document retrieval, summarising its essential features and illustrating the state of its ...
Karen Sparck Jones
IJON
2002
65views more  IJON 2002»
13 years 10 months ago
A general framework for neurobiological modeling: an application to the vestibular system
The otolith organs in the vestibular system are excellent detectors of linear accelerations. However, any measurement of linear acceleration is ambiguous between a tilt in a gravi...
Chris Eliasmith, M. Brandon Westover, Charles H. A...