3353 search results - page 368 / 671 » Laver and set theory |
189
click to vote
ATAL
2004
Springer
16 years 29 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...
193
click to vote
ESTIMEDIA
2004
Springer
16 years 29 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...
168
click to vote
HYBRID
2004
Springer
16 years 29 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...
230
click to vote
KR
2004
Springer
16 years 28 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...
205
click to vote
LPNMR
2004
Springer
16 years 28 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 ...