2410 search results - page 83 / 482 » Multiset Ordering Constraints |
169
click to vote
ACL
1997
15 years 6 months ago
1997
In this paper we describe an approach to constraint based syntactic theories in terms of finite tree automata. The solutions to constraints expressed in weak monadic second order ...
162
click to vote
AAAI
1996
15 years 6 months ago
1996
Learning during backtrack search is a space-intensive process that records information (such as additional constraints) in order to avoid redundant work. In this paper, we analyze...
149
Voted
ATAL
2010
Springer
15 years 4 months ago
2010
Springer
We extend the framework of mixed multi-unit combinatorial auctions to include time constraints, present an expressive bidding language, and show how to solve the winner determinati...
137
Voted
CORR
2010
Springer
15 years 4 months ago
2010
Springer
We propose a middleware framework for deployment and subsequent autonomic management of component-based applications. An initial deployment goal is specified using a declarative c...
167
click to vote
ENTCS
2007
15 years 4 months ago
2007
The flow logic approach to static analysis amounts to specifying the admissibility of solutions to analysis problems; when specified using formulae in stratified alternation-fr...