Sciweavers

64 search results - page 4 / 13
» Intrinsic Representation: Bootstrapping Symbols from Experie...
Sort
View
CAV
1993
Springer
127views Hardware» more  CAV 1993»
13 years 11 months ago
Symbolic Equivalence Checking
Abstract. We describe the implementation, within ALDEBARAN of an algorithmic method allowing the generation of a minimal labeled transition rom an abstract model ; this minimality ...
Jean-Claude Fernandez, Alain Kerbrat, Laurent Moun...
WWW
2006
ACM
14 years 8 months ago
Using symbolic objects to cluster web documents
Web Clustering is useful for several activities in the WWW, from automatically building web directories to improve retrieval performance. Nevertheless, due to the huge size of the...
Esteban Meneses, Oldemar Rodríguez-Rojas
IJON
2000
78views more  IJON 2000»
13 years 7 months ago
Model-free detection of synchrony in neuronal spike trains, with an application to primate somatosensory cortex
Synchronized neuronal ring has been reported in many neural systems and may play a role in the representation of sensory stimuli and the modi cation of sensory representations by ...
Arup Roy, Peter N. Steinmetz, Ken O. Johnson, Erns...
CAV
2010
Springer
172views Hardware» more  CAV 2010»
13 years 11 months ago
Symbolic Bounded Synthesis
Abstract. Synthesis of finite state systems from full linear time temporal logic (LTL) specifications is gaining more and more attention as several recent achievements have signi...
Rüdiger Ehlers
IIHMSP
2006
IEEE
136views Multimedia» more  IIHMSP 2006»
14 years 1 months ago
Boosted String Representation and Its Application to Video Surveillance
This paper presents a new behavior classification system for analyzing human movements directly from video sequences. First of all, we propose a triangulation-based method to tran...
Yung-Tai Hsu, Jun-Wei Hsieh