3353 search results - page 368 / 671 » Laver and set theory |
157
click to vote
ATAL
2004
Springer
16 years 5 days ago
2004
Springer
This article introduces a novel approach to the problem of collaborative planning. We present a method that takes classical one-shot planning techniques - that take a fixed set of...
170
click to vote
ESTIMEDIA
2004
Springer
16 years 5 days ago
2004
Springer
Abstract—Few analytical performance models that relate performance figure of merit to architectural design decisions are reported in recent studies of network-on-chip, which pre...
159
click to vote
HYBRID
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. The problem of maintaining the crankshaft speed of an automotive engine within a given set interval (idle speed control), is formalized as a constrained control problem u...
204
click to vote
KR
2004
Springer
16 years 4 days ago
2004
Springer
Negotiation plays a key role as a means for sharing information and resources with the aim of looking for a common agreement. This paper proposes a new approach based on possibili...
187
Voted
LPNMR
2004
Springer
16 years 4 days ago
2004
Springer
We investigate mca-programs, that is, logic programs with clauses built of monotone cardinality atoms of the form kX , where k is a non-negative integer and X is a finite set of ...