Search Sciweavers | Sciweavers

3928 search results - page 18 / 786

» order 2006

137

click to vote

CADE
2006
Springer

111views Logical Reasoning» more CADE 2006»

Extending the TPTP Language to Higher-Order Logic with Automated Parser Generation

16 years 6 months ago

Download users.soe.ucsc.edu

Allen Van Gelder, Geoff Sutcliffe

claim paper

Read More »

110

click to vote

LICS
2006
IEEE

62views Automated Reasoning» more LICS 2006»

Approximation Schemes for First-Order Definable Optimisation Problems

16 years 8 hour ago

Download www.newton.ac.uk

Anuj Dawar, Martin Grohe, Stephan Kreutzer, Nicole...

claim paper

Read More »

100

click to vote

SIGECOM
2006
ACM

82views ECommerce» more SIGECOM 2006»

(In)Stability properties of limit order dynamics

15 years 12 months ago

Download www.math.tau.ac.il

Eyal Even-Dar, Sham M. Kakade, Michael S. Kearns, ...

claim paper

Read More »

143

click to vote

CSCLP
2006
Springer

97views Artificial Intelligence» more CSCLP 2006»

Solving First-Order Constraints in the Theory of the Evaluated Trees

15 years 9 months ago

Download www.univ-orleans.fr

Thi-Bich-Hanh Dao, Khalil Djelloul

claim paper

Read More »

129

click to vote

ECAI
2006
Springer

102views Artificial Intelligence» more ECAI 2006»

Computing Possible and Necessary Winners from Incomplete Partially-Ordered Preferences

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers