Sciweavers

1716 search results - page 108 / 344
» Generating models for temporal representations
Sort
View
ICIAP
2007
ACM
16 years 4 months ago
Appearance-based 3D object recognition with time-invariant features
In this paper we explore the interlink between temporally dense view-based object recognition and sparse image representations with local keypoints. The temporal component is an a...
Elisabetta Delponte, Nicoletta Noceti, Francesca O...
ICANN
2010
Springer
15 years 1 months ago
Dynamics and Function of a CA1 Model of the Hippocampus during Theta and Ripples
The hippocampus is known to be involved in spatial learning in rats. Spatial learning involves the encoding and replay of temporally sequenced spatial information. Temporally seque...
Vassilis Cutsuridis, Michael E. Hasselmo
TACAS
2005
Springer
124views Algorithms» more  TACAS 2005»
15 years 9 months ago
Dynamic Symmetry Reduction
Abstract. Symmetry reduction is a technique to combat the state explosion problem in temporal logic model checking. Its use with symbolic representation has suffered from the proh...
E. Allen Emerson, Thomas Wahl
TOPNOC
2008
15 years 3 months ago
TAPAs: A Tool for the Analysis of Process Algebras
Process Algebras are formalisms for modelling concurrent systems that permit mathematical reasoning with respect to a set of desired properties. TAPAs is a tool that can be used to...
Francesco Calzolai, Rocco De Nicola, Michele Loret...
ICIP
2005
IEEE
16 years 5 months ago
A motion-based binary partition tree approach to video object segmentation
This paper describes an approach for generating Binary Partition Tree [7] representations and video object segmentations using a novel region merging strategy based on motion simi...
Camilo C. Dorea, Ferran Marqués, Montse Par...