Sciweavers

19979 search results - page 163 / 3996
» Decision support systems
Sort
View
LATIN
2004
Springer
16 years 11 days ago
A Proof System and a Decision Procedure for Equality Logic
Equality logic with or without uninterpreted functions is used for proving the equivalence or refinement between systems (hardware verification, compiler’s translation, etc). C...
Olga Tveretina, Hans Zantema
HICSS
2003
IEEE
105views Biometrics» more  HICSS 2003»
16 years 9 days ago
Experimental Validation of Multidimensional Data Models Metrics
Multidimensional data models are playing an increasingly prominent role in support of day-to-day business decisions. Due to their significance in taking strategic decisions it is ...
Manuel A. Serrano, Coral Calero, Mario Piattini
VLDB
2000
ACM
103views Database» more  VLDB 2000»
15 years 10 months ago
Performance Issues in Incremental Warehouse Maintenance
A well-known challenge in data warehousing is the efficient incremental maintenance of warehouse data in the presence of source data updates. In this paper, we identify several cr...
Wilburt Labio, Jun Yang 0001, Yingwei Cui, Hector ...
154
Voted
ICPR
2006
IEEE
16 years 8 months ago
GMM-based SVM for face recognition
A new face recognition algorithm is presented. It supposes that a video sequence of a person is available both at enrollment and test time. During enrollment, a client Gaussian Mi...
Gérard Chollet, Hervé Bredin, Najim ...
162
Voted
ICDAR
2009
IEEE
16 years 1 months ago
Combination of Measurement-Level Classifiers: Output Normalization by Dynamic Time Warping
Classifier combination is a powerful strategy to support useful solutions in difficult classification problems. Notwithstanding, the effectiveness of a multi-classifier system str...
Giuseppe Pirlo, Donato Impedovo, Claudia Adamita T...