1187 search results - page 2 / 238 » Graph-Based Procedural Abstraction |
68
Voted
ECAI
2008
Springer
14 years 11 months ago
2008
Springer
In this paper we introduce a new graph based bidding language for combinatorial auctions. In our language, each bidder submits to the arbitrator a generalized flow network (netbid...
CADE
2012
Springer
12 years 12 months ago
2012
Springer
Abstract. This paper presents new results on the decidability of inductive validity of conjectures. For these results, a class of term rewrite systems (TRSs) with built-in linear i...
AAAI
1996
14 years 11 months ago
1996
GSAT is a randomized greedy local repair procedure that was introduced for solving propositional satis ability and constraint satisfaction problems. We present an improvement to G...
POPL
2010
ACM
15 years 7 months ago
2010
ACM