Sciweavers

2519 search results - page 230 / 504
» MASUP: An Agent-Oriented Modeling Process for Information Sy...
Sort
View
ISMIR
2004
Springer
90views Music» more  ISMIR 2004»
16 years 8 hour ago
Automatic extraction of music descriptors from acoustic signals
High-Level music descriptors are key ingredients for music information retrieval systems. Although there is a long tradition in extracting information from acoustic signals, the f...
François Pachet, Aymeric Zils
214
Voted
ICIP
2001
IEEE
16 years 8 months ago
VISMap: an interactive image/video retrieval system using visualization and concept maps
Images and videos can be indexed by multiple features at different levels, such as color, texture, motion, and text annotation. Organizing this information into a system so that u...
William Chen, Shih-Fu Chang
CIKM
2009
Springer
15 years 11 months ago
An empirical study on using hidden markov model for search interface segmentation
This paper describes a hidden Markov model (HMM) based approach to perform search interface segmentation. Automatic processing of an interface is a must to access the invisible co...
Ritu Khare, Yuan An
ICALT
2006
IEEE
16 years 21 days ago
Effective Analysis and Design of Computer-Supported Learning System
The analysis phase constitutes an essential step in the development of information systems. Nevertheless, learning materials design activities currently have reduced the analysis ...
David Díez Cebollero, Camino Fernánd...
FM
2006
Springer
126views Formal Methods» more  FM 2006»
15 years 10 months ago
Towards Modularized Verification of Distributed Time-Triggered Systems
Abstract. The correctness of a system according to a given specification is essential, especially for safety-critical applications. One such typical application domain is the autom...
Jewgenij Botaschanjan, Alexander Gruler, Alexander...