Sciweavers

485 search results - page 59 / 97
» Iterative Bounding LAO
Sort
View
FOSSACS
2009
Springer
15 years 2 months ago
Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains
We study generalized fixed-point equations over idempotent semirings and provide an efficient algorithm for the detection whether a sequence of Kleene's iterations stabilizes ...
Morten Kühnrich, Stefan Schwoon, Jirí ...
DAGSTUHL
2008
14 years 11 months ago
Implementation of the reciprocal square root in MPFR
D ABSTRACT) PAUL ZIMMERMANN We describe the implementation of the reciprocal square root -- also called inverse square root -- as a native function in the MPFR library. The difficu...
Paul Zimmermann
NAACL
2007
14 years 11 months ago
Randomized Decoding for Selection-and-Ordering Problems
The task of selecting and ordering information appears in multiple contexts in text generation and summarization. For instance, methods for title generation construct a headline b...
Pawan Deshpande, Regina Barzilay, David R. Karger
97
Voted
UAI
2008
14 years 11 months ago
CORL: A Continuous-state Offset-dynamics Reinforcement Learner
Continuous state spaces and stochastic, switching dynamics characterize a number of rich, realworld domains, such as robot navigation across varying terrain. We describe a reinfor...
Emma Brunskill, Bethany R. Leffler, Lihong Li, Mic...
ACST
2006
14 years 11 months ago
Experimental study of hybrid-type distributed maximal constraint satisfaction algorithm
A constraint satisfaction problem (CSP) is a general framework that can formalize various application problems in artificial intelligence. However, practical real-world problems t...
Masato Noto, Masahito Kurihara