Sciweavers

1524 search results - page 30 / 305
» Game Relations and Metrics
Sort
View
FOSSACS
2009
Springer
14 years 5 months ago
Facets of Synthesis: Revisiting Church's Problem
In this essay we discuss the origin, central results, and some perspectives of algorithmic synthesis of nonterminating reactive programs. We recall the fundamental questions raised...
Wolfgang Thomas
CORR
2007
Springer
141views Education» more  CORR 2007»
13 years 11 months ago
Acyclicity of Preferences, Nash Equilibria, and Subgame Perfect Equilibria: a Formal and Constructive Equivalence
Abstract. Sequential game and Nash equilibrium are basic key concepts in game theory. In 1953, Kuhn showed that every sequential game has a Nash equilibrium. The two main steps of ...
Stéphane Le Roux
JUCS
2010
100views more  JUCS 2010»
13 years 9 months ago
Spatial Reasoning with Integrated Qualitative-Metric Fuzzy Constraint Networks
Abstract: Qualitative Spatial Reasoning can be greatly improved if metric information can be represented and reasoning can be performed on it; moreover, modelling vagueness and unc...
Marco Falda
EDBT
2009
ACM
133views Database» more  EDBT 2009»
14 years 5 months ago
Multiplicative synopses for relative-error metrics
Existing hierarchical summarization techniques fail to provide synopses good in terms of relative-error metrics. This paper introduces multiplicative synopses: a summarization par...
Panagiotis Karras
ICMCS
2006
IEEE
92views Multimedia» more  ICMCS 2006»
14 years 5 months ago
A Rank based Metric of Anchor Models for Speaker Verification
In this paper, we present an improved method of anchor models for speaker verification. Anchor model is the method that represent a speaker by his relativity of a set of other sp...
Yingchun Yang, Min Yang, Zhaohui Wu