Search Sciweavers | Sciweavers

922 search results - page 4 / 185

» On a Generalization of the Stone-Weierstrass Theorem

click to vote

CADE
2009
Springer

178views Logical Reasoning» more CADE 2009»

A Generalization of Semenov's Theorem to Automata over Real Numbers

14 years 8 months ago

Download www.labri.fr

Abstract This work studies the properties of finite automata recognizing vectors with real components, encoded positionally in a given integer numeration base. Such automata are us...

Bernard Boigelot, Jérôme Leroux, Juli...

claim paper

Read More »

click to vote

ICALP
2009
Springer

111views Programming Languages» more ICALP 2009»

On a Network Generalization of the Minmax Theorem

14 years 7 months ago

Download www.cs.berkeley.edu

We consider graphical games in which edges are zero-sum games between the endpoints/players; the payoff of a player is the sum of the payoffs from each incident edge. We give a si...

Constantinos Daskalakis, Christos H. Papadimitriou

claim paper

Read More »

click to vote

STACS
2010
Springer

174views Theoretical Computer Science» more STACS 2010»

A Dichotomy Theorem for the General Minimum Cost Homomorphism Problem

14 years 15 days ago

Download drops.dagstuhl.de

Abstract. In the constraint satisfaction problem (CSP), the aim is to ﬁnd an assignment of values to a set of variables subject to speciﬁed constraints. In the minimum cost hom...

Rustem Takhanov

claim paper

Read More »

click to vote

STACS
2009
Springer

123views Theoretical Computer Science» more STACS 2009»

A Generalization of Nemhauser and Trotter's Local Optimization Theorem

14 years 2 months ago