Search Sciweavers | Sciweavers

5015 search results - page 224 / 1003

» Model Checking a Path

159

click to vote

ICANN
2005
Springer

91views Neural Networks» more ICANN 2005»

Modelling Path Integrator Recalibration Using Hippocampal Place Cells

15 years 12 months ago

Download lcn.epfl.ch

Abstract. The ﬁring activities of place cells in the rat hippocampus exhibit strong correlations to the animal’s location. External (e.g. visual) as well as internal (proprioce...

Thomas Strösslin, Ricardo Chavarriaga, Denis ...

claim paper

Read More »

181

click to vote

ICDAR
2005
IEEE

118views Document Analysis» more ICDAR 2005»

Estimating the Pen Trajectories of Multi-Path Static Scripts Using Hidden Markov Models

16 years 15 hour ago

Download dip.sun.ac.za

Static handwritten scripts are available only as images on documents and by deﬁnition do not contain dynamic information. This study is about extracting dynamic information from...

Emli-Mari Nel, Johan A. du Preez, Ben M. Herbst

claim paper

Read More »

170

click to vote

TABLEAUX
1999
Springer

104views Artificial Intelligence» more TABLEAUX 1999»

Merge Path Improvements for Minimal Model Hyper Tableaux

15 years 10 months ago

Download www.cs.unb.ca

We combine techniques originally developed for refutational ﬁrst-order theorem proving within the clause tree framework with techniques for minimal model computation developed wi...

Peter Baumgartner, Joseph Douglas Horton, Bruce Sp...

claim paper

Read More »

109

click to vote

FSR
2007
Springer

106views Robotics» more FSR 2007»

Modelling Smooth Paths Using Gaussian Processes

16 years 17 days ago