4198 search results - page 330 / 840 » In search of lost time |
176
click to vote
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
— This paper describes a new extension to the Rapidly–exploring Random Tree (RRT) path planning algorithm. The Particle RRT algorithm explicitly considers uncertainty in its do...
180
click to vote
FROCOS
2007
Springer
16 years 1 months ago
2007
Springer
Often when formalising dynamic systems, constraints such as exactly “n” of a set of values hold. In this paper, we consider reasoning about propositional linear time temporal ...
159
Voted
ICARIS
2007
Springer
16 years 1 months ago
2007
Springer
The search for patterns or motifs in data represents an area of key interest to many researchers. In this paper we present the Motif Tracking Algorithm, a novel immune inspired pat...
171
click to vote
KI
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We compare three systems for the task of synthesising functional recursive programs, namely Adate, an approach through evolutionary computation, the classification learn...
193
click to vote
ICMCS
2006
IEEE
16 years 27 days ago
2006
IEEE
We present a new system, called Retimm, for searching databases made of documents containing images and text. Images are indexed by colour and texture distributions.. Colour and t...