Sciweavers

3457 search results - page 59 / 692
» A Symbol Is Not a Symbol
Sort
View
ICASSP
2007
IEEE
14 years 4 months ago
Fast Search of Sequences with Complex Symbol Correlations using Profile Context-Sensitive HMMS and Pre-Screening Filters
Recently, profile context-sensitive HMMs (profile-csHMMs) have been proposed which are very effective in modeling the common patterns and motifs in related symbol sequences. Pro...
Byung-Jun Yoon, P. P. Vaidyanathan
AI
2004
Springer
14 years 3 months ago
Intrinsic Representation: Bootstrapping Symbols from Experience
If we are to understand human-level intelligence, we need to understand how meanings can be learned without explicit instruction. I take a step toward that understanding by showing...
Stephen David Larson
ENTCS
2002
72views more  ENTCS 2002»
13 years 10 months ago
A Symbolic Out-of-Core Solution Method for Markov Models
Despite considerable effort, the state-space explosion problem remains an issue in the analysis of Markov models. Given structure, symbolic representations can result in very comp...
Marta Z. Kwiatkowska, Rashid Mehmood, Gethin Norma...
FM
2009
Springer
157views Formal Methods» more  FM 2009»
14 years 4 months ago
Symbolic Predictive Analysis for Concurrent Programs
Abstract. Predictive analysis aims at detecting concurrency errors during runtime by monitoring a concrete execution trace of a concurrent program. In recent years, various models ...
Chao Wang, Sudipta Kundu, Malay K. Ganai, Aarti Gu...
DATE
2008
IEEE
89views Hardware» more  DATE 2008»
14 years 4 months ago
Symbolic Reliability Analysis and Optimization of ECU Networks
Increasing reliability at a minimum amount of extra cost is a major challenge in todays ECU network design. Considering reliability as an objective already in early design phases ...
Michael Glaß, Martin Lukasiewycz, Felix Reim...