Sciweavers

177 search results - page 9 / 36
» Analyzing Blockwise Lattice Algorithms Using Dynamical Syste...
Sort
View
ATVA
2007
Springer
136views Hardware» more  ATVA 2007»
14 years 27 days ago
Symbolic Fault Tree Analysis for Reactive Systems
Fault tree analysis is a traditional and well-established technique for analyzing system design and robustness. Its purpose is to identify sets of basic events, called cut sets, wh...
Marco Bozzano, Alessandro Cimatti, Francesco Tappa...
SIGIR
2006
ACM
14 years 20 days ago
Spoken document retrieval from call-center conversations
We are interested in retrieving information from conversational speech corpora, such as call-center data. This data comprises spontaneous speech conversations with low recording q...
Jonathan Mamou, David Carmel, Ron Hoory
ICDE
2003
IEEE
148views Database» more  ICDE 2003»
14 years 8 months ago
Dynamic Clustering of Evolving Streams with a Single Pass
Stream data is common in many applications, e.g., stock quotes, merchandize sales record, system logs, etc.. It is of great importance to analyze these stream data. As one of the ...
Jiong Yang
CEC
2007
IEEE
13 years 10 months ago
A closed loop stability analysis and parameter selection of the Particle Swarm Optimization dynamics for faster convergence
This paper presents an alternative formulation of the PSO dynamics by a closed loop control system, and analyzes the stability behavior of the system by using Jury's test and ...
Nayan R. Samal, Amit Konar, Swagatam Das, Ajith Ab...
ISSS
1997
IEEE
103views Hardware» more  ISSS 1997»
13 years 11 months ago
A Source-Level Dynamic Analysis Methodology and Tool for High-Level Synthesis
This paper presents a novel source-level dynamic analysis methodology and tool for High-Level Synthesis (HLS). It not only for the first time enables HLS to offer source-level de...
Chih-Tung Chen, Kayhan Küçük&cced...