Sciweavers

5659 search results - page 941 / 1132
» Comparing Clusterings in Space
Sort
View
ATAL
2008
Springer
15 years 9 months ago
Searching for approximate equilibria in empirical games
When exploring a game over a large strategy space, it may not be feasible or cost-effective to evaluate the payoff of every relevant strategy profile. For example, determining a p...
Patrick R. Jordan, Yevgeniy Vorobeychik, Michael P...
ATVA
2008
Springer
104views Hardware» more  ATVA 2008»
15 years 9 months ago
A Direct Algorithm for Multi-valued Bounded Model Checking
Multi-valued Model Checking is an extension of classical, two-valued model checking with multi-valued logic. Multi-valuedness has been proved useful in expressing additional inform...
Jefferson O. Andrade, Yukiyoshi Kameyama
AUSDM
2008
Springer
211views Data Mining» more  AUSDM 2008»
15 years 9 months ago
LBR-Meta: An Efficient Algorithm for Lazy Bayesian Rules
LBR is a highly accurate classification algorithm, which lazily constructs a single Bayesian rule for each test instance at classification time. However, its computational complex...
Zhipeng Xie
BIOID
2008
119views Biometrics» more  BIOID 2008»
15 years 9 months ago
Some Unusual Experiments with PCA-Based Palmprint and Face Recognition
Abstract. In this paper we describe a number of experiments relating to PCAbased palmprint and face recognition. The experiments were designed to determine the influence of differe...
Ivan Krevatin, Slobodan Ribaric
CAISE
2008
Springer
15 years 9 months ago
Measuring Similarity between Business Process Models
Quality aspects become increasingly important when business process modeling is used in a large-scale enterprise setting. In order to facilitate a storage without redundancy and an...
Boudewijn F. van Dongen, Remco M. Dijkman, Jan Men...