8828 search results - page 1675 / 1766 » Formal methods in practice |
134
click to vote
COLING
1992
15 years 4 months ago
1992
: This paper describes a possibility of expressing ordering constraints among non-sister constituents in binary branching syntactic structures on a local basis, supported by viewin...
141
Voted
ATAL
2010
Springer
15 years 4 months ago
2010
Springer
Planning how to interact against bounded memory and unbounded memory learning opponents needs different treatment. Thus far, however, work in this area has shown how to design pla...
146
click to vote
ATAL
2010
Springer
15 years 4 months ago
2010
Springer
A voting rule is an algorithm for determining the winner in an election, and there are several approaches that have been used to justify the proposed rules. One justification is t...
157
click to vote
ATAL
2010
Springer
15 years 4 months ago
2010
Springer
Social laws have proved to be a powerful and theoretically elegant framework for coordination in multi-agent systems. Most existing models of social laws assume that a designer is...
141
click to vote
GECCO
2008
Springer
15 years 4 months ago
2008
Springer
In Multi-Objective Problems (MOPs) involving uncertainty, each solution might be associated with a cluster of performances in the objective space depending on the possible scenari...