Sciweavers

844 search results - page 46 / 169
» Semantic Analysis of Matrix Structures
Sort
View
123
Voted
FM
2001
Springer
108views Formal Methods» more  FM 2001»
15 years 7 months ago
Improvements in BDD-Based Reachability Analysis of Timed Automata
To develop efficient algorithms for the reachability analysis of timed automata, a promising approach is to use binary decision diagrams (BDDs) as data structure for the representa...
Dirk Beyer
CIVR
2006
Springer
15 years 7 months ago
Hierarchical Hidden Markov Model for Rushes Structuring and Indexing
Rushes footage are considered as cheap gold mine with the potential for reuse in broadcasting and filmmaking industries. However, it is difficult to mine the "gold" from ...
Chong-Wah Ngo, Zailiang Pan, Xiao-Yong Wei
CI
2000
134views more  CI 2000»
15 years 3 months ago
Choosing Rhetorical Structures to Plan Instructional Texts
This paper discusses a fundamental problem in natural language generation: how to organize the content of a text in a coherent and natural way. In this research, we set out to det...
Leila Kosseim, Guy Lapalme
102
Voted
CDC
2008
IEEE
127views Control Systems» more  CDC 2008»
15 years 9 months ago
Distributed control: A sequentially semi-separable approach
— We consider the problem of designing controllers for spatially-varying interconnected systems distributed in one spatial dimension. The matrix structure of such systems can be ...
Justin K. Rice, Michel Verhaegen
160
Voted
DAGSTUHL
2009
15 years 4 months ago
Median Topographic Maps for Biomedical Data Sets
Abstract. Median clustering extends popular neural data analysis methods such as the self-organizing map or neural gas to general data structures given by a dissimilarity matrix on...
Barbara Hammer, Alexander Hasenfuss, Fabrice Rossi