Sciweavers

1008 search results - page 94 / 202
» Canonicity!
Sort
View
ACIVS
2009
Springer
15 years 10 months ago
Two-Level Bimodal Association for Audio-Visual Speech Recognition
This paper proposes a new method for bimodal information fusion in audio-visual speech recognition, where cross-modal association is considered in two levels. First, the acoustic a...
Jong-Seok Lee, Touradj Ebrahimi
ALDT
2009
Springer
172views Algorithms» more  ALDT 2009»
15 years 10 months ago
On Multi-dimensional Envy-Free Mechanisms
Traditional performance analysis of approximation algorithms considers overall performance, while economic fairness analysis focuses on the individual performance each user receiv...
Ahuva Mu'alem
LFCS
2009
Springer
15 years 10 months ago
Fuzzy Description Logic Reasoning Using a Fixpoint Algorithm
We present FixIt(ALC), a novel procedure for deciding knowledge base (KB) satisfiability in the Fuzzy Description Logic (FDL) ALC. FixIt(ALC) does not search for tree-structured m...
Uwe Keller, Stijn Heymans
MODELS
2009
Springer
15 years 10 months ago
Modeling Modeling
Abstract. Model-driven engineering and model-based approaches have permeated all branches of software engineering; to the point that it seems that we are using models, as Molière...
Pierre-Alain Muller, Frédéric Fondem...
121
Voted
TARK
2009
Springer
15 years 10 months ago
A logical characterization of iterated admissibility
Brandenburger, Friedenberg, and Keisler provide an epistemic characterization of iterated admissibility (i.e., iterated deletion of weakly dominated strategies) where uncertainty ...
Joseph Y. Halpern, Rafael Pass