Sciweavers

1134 search results - page 100 / 227
» Analyzing Mapping Extraction Approaches
Sort
View
131
Voted
ITCC
2005
IEEE
15 years 9 months ago
Using Formal Concept Analysis to Establish Model Dependencies
models evolve at different levels of abstraction, from the requirements specification to development of the source code. The models underlying this process are related and their ...
Igor Ivkovic, Kostas Kontogiannis
139
Voted
MICCAI
1999
Springer
15 years 8 months ago
Analysis of Functional MRI Data Using Mutual Information
Abstract. A new information-theoretic approach is presented for analyzing fMRI data to calculate the brain activation map. The method is based on a formulation of the mutualinforma...
Andy Tsai, John W. Fisher III, Cindy Wible, Willia...
120
Voted
OIR
2006
129views more  OIR 2006»
15 years 3 months ago
Structural analysis of chat messages for topic detection
Purpose - This paper studies the characteristics of chat messages from analyzing a collection of 33,121 sample messages gathered from 1700 sessions of conversations of 72 pairs of...
Haichao Dong, Siu Cheung Hui, Yulan He
120
Voted
ECCV
2002
Springer
16 years 5 months ago
Dense Motion Analysis in Fluid Imagery
Analyzing fluid motion is essential in number of domains and can rarely be handled using generic computer vision techniques. In this particular application context, we address two ...
Thomas Corpetti, Étienne Mémin, Patr...
115
Voted
ICCAD
2005
IEEE
121views Hardware» more  ICCAD 2005»
16 years 18 days ago
Transition-by-transition FSM traversal for reachability analysis in bounded model checking
Abstract— In bounded model checking (BMC)-based verification flows lack of reachability constraints often leads to false negatives. At present, it is daily practice of a veri...
Minh D. Nguyen, Dominik Stoffel, Markus Wedler, Wo...