Sciweavers

237 search results - page 13 / 48
» Toward Verified Biological Models
Sort
View
ECCV
2002
Springer
15 years 11 months ago
Towards Improved Observation Models for Visual Tracking: Selective Adaptation
Abstract. An important issue in tracking is how to incorporate an appropriate degree of adaptivity into the observation model. Without any adaptivity, tracking fails when object pr...
Andrew Blake, Jaco Vermaak, Michel Gangnet, Patric...
70
Voted
ENTCS
2008
118views more  ENTCS 2008»
14 years 9 months ago
The STSLib Project: Towards a Formal Component Model Based on STS
We present the current state of our STSLib project. This project aims at defining an environment to formally specify and execute software components. One important feature is that...
Fabrício Fernandes, Jean-Claude Royer
76
Voted
BMCV
2000
Springer
15 years 2 months ago
Towards a Computational Model for Object Recognition in IT Cortex
First IEEE International Workshop on Biologically Motivated Computer Vision, Seoul, Korea (May 2000). There is considerable evidence that object recognition in primates is based o...
David G. Lowe
ENTCS
2010
133views more  ENTCS 2010»
14 years 9 months ago
Towards Measurable Types for Dynamical Process Modeling Languages
Process modeling languages such as "Dynamical Grammars" are highly expressive in the processes they model using stochastic and deterministic dynamical systems, and can b...
Eric Mjolsness
ESANN
2007
14 years 11 months ago
Toward a robust 2D spatio-temporal self-organization
Abstract. Several models have been proposed for spatio-temporal selforganization, among which the TOM model by Wiemer [1] is particularly promising. In this paper, we propose to ad...
Thomas Girod, Laurent Bougrain, Frédé...