1690 search results - page 110 / 338 » Algorithmic Properties of Millstream Systems |
134
click to vote
APLAS
2000
ACM
15 years 8 months ago
2000
ACM
We have implemented Kima, an automated error correction system for concurrent logic programs. Kima corrects near-misses such as wrong variable occurrences in the absence of explici...
137
click to vote
IROS
2009
IEEE
15 years 11 months ago
2009
IEEE
— Sampling-based motion planners are often used to solve very high-dimensional planning problems. Many recent algorithms use projections of the state space to estimate properties...
154
click to vote
CIA
2007
Springer
15 years 10 months ago
2007
Springer
We introduce the Consensual N-Player Prisoner’s Dilemma as a large-scale dilemma. We then present a framework for cooperative consensus formation in large-scale MAS under the N-P...
179
click to vote
AMTA
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. An adaptable statistical or hybrid MT system relies heavily on the quality of word-level alignments of real-world data. Statistical alignment approaches provide a reasona...
130
click to vote
WINET
2002
15 years 4 months ago
2002
We present a game-theoretic treatment of distributed power control in CDMA wireless systems. We make use of the conceptual framework of noncooperative game theory to obtain a distr...