Sciweavers

4629 search results - page 336 / 926
» Space Kernel Analysis
Sort
View
AMAST
2008
Springer
15 years 8 months ago
Generating Specialized Rules and Programs for Demand-Driven Analysis
Many complex analysis problems can be most clearly and easily specified as logic rules and queries, where rules specify how given facts can be combined to infer new facts, and quer...
K. Tuncay Tekle, Katia Hristova, Yanhong A. Liu
CLA
2004
15 years 8 months ago
Binary Factor Analysis with Help of Formal Concepts
Binary factor analysis (BFA, also known as Boolean Factor Analysis) is a nonhierarchical analysis of binary data, based on reduction of binary space dimension. It allows us to find...
Ales Keprt, Václav Snásel
DATE
2005
IEEE
109views Hardware» more  DATE 2005»
16 years 8 days ago
Systematic Analysis of Active Clock Deskewing Systems Using Control Theory
— A formal methodology for the analysis of a closed loop clock distribution and active deskewing network is proposed. In this paper an active clock distribution and deskewing net...
Vinil Varghese, Tom Chen, Peter Michael Young
MM
2005
ACM
123views Multimedia» more  MM 2005»
16 years 6 days ago
Early versus late fusion in semantic video analysis
Semantic analysis of multimodal video aims to index segments of interest at a conceptual level. In reaching this goal, it requires an analysis of several information streams. At s...
Cees Snoek, Marcel Worring, Arnold W. M. Smeulders
FM
2001
Springer
108views Formal Methods» more  FM 2001»
15 years 11 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