1156 search results - page 72 / 232 » The PENG System: Practice and Experience |
187
click to vote
AAAI
2010
15 years 7 months ago
2010
A general game player is a system that understands the rules of unknown games and learns to play these games well without human intervention. A major challenge for research in Gen...
166
click to vote
NSDI
2004
15 years 7 months ago
2004
This paper focuses on load management in looselycoupled federated distributed systems. We present a distributed mechanism for moving load between autonomous participants using bil...
145
click to vote
EDOC
2006
IEEE
16 years 11 days ago
2006
IEEE
The RM-ODP standard still provides the only comprehensive and coherent framework of concepts for the specification of complex large scale IT systems, and has taken on a new signif...
128
click to vote
ENTCS
2008
15 years 6 months ago
2008
We report our experience with exploring a new point in the design space for formal reasoning systems: the development of the programming language mega. mega is intended as both a ...
146
click to vote
ISSAC
2005
Springer
15 years 11 months ago
2005
Springer
This paper describes a new method for computing the normal form of a polynomial modulo a zero-dimensional ideal I. We give a detailed description of the algorithm, a proof of its ...