Sciweavers

347 search results - page 24 / 70
» The Berlekamp-Massey Algorithm revisited
Sort
View
FOSSACS
2009
Springer
15 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
90
Voted
COMPGEOM
1995
ACM
15 years 2 months ago
The Rectangle Enclosure and Point-Dominance Problems Revisited
We consider the problem of reporting the pairwise enclosures in a set of n axesparallel rectangles in IR2, which is equivalent to reporting dominance pairs in a set of n points in...
Prosenjit Gupta, Ravi Janardan, Michiel H. M. Smid...
DBPL
2007
Springer
103views Database» more  DBPL 2007»
15 years 2 months ago
Datalog Programs over Infinite Databases, Revisited
Traditionally, infinite databases were studied as a data model for queries that may contain function symbols (since functions may be expressed as infinite relations). Recently, th...
Sara Cohen, Joseph Gil, Evelina Zarivach
GECCO
2005
Springer
140views Optimization» more  GECCO 2005»
15 years 4 months ago
Intransitivity revisited coevolutionary dynamics of numbers games
Relative fitness, or “evaluation by tests” is one of the building blocks of coevolution: the only fitness information available is a comparison with other individuals in a p...
Pablo Funes, Enrique Pujals
107
Voted
WINE
2007
Springer
109views Economy» more  WINE 2007»
15 years 5 months ago
Incentive-Compatible Interdomain Routing with Linear Utilities
We revisit the problem of incentive-compatible interdomain routing, examining the, quite realistic, special case in which the autonomous systems’ (ASes’) utilities are linear f...
Alexander Hall, Evdokia Nikolova, Christos H. Papa...