Sciweavers

1355 search results - page 209 / 271
» Alternating Timed Automata over Bounded Time
Sort
View
AAAI
2010
13 years 9 months ago
Convergence to Equilibria in Plurality Voting
Multi-agent decision problems, in which independent agents have to agree on a joint plan of action or allocation of resources, are central to AI. In such situations, agents' ...
Reshef Meir, Maria Polukarov, Jeffrey S. Rosensche...
FLAIRS
2004
13 years 9 months ago
The Power of Experience: On the Usefulness of Validation Knowledge
TURING Test technologies are promising ways to validate AI systems which may have no alternative way to indicate validity. Human experts (validators) are often too expensive to in...
Rainer Knauf, Setsuo Tsuruta, Kenichi Uehara, Taka...
GIL
2004
13 years 9 months ago
Verzichten die Landwirte zu (Un)Recht auf den Einsatz von Optimierungsverfahren?
Abstract: In this paper we examine the usefulness of optimisation methods for practical farm program decisions. We inspect three Brandenburg cash crop farms over the last five year...
Oliver Mußhoff, Norbert Hirschauer
USITS
2003
13 years 9 months ago
Network-Sensitive Service Discovery
We consider the problem of network-sensitive service selection (NSSS): finding services that match a particular set of functional and network properties. Current solutions handle...
An-Cheng Huang, Peter Steenkiste
MICRO
2010
IEEE
145views Hardware» more  MICRO 2010»
13 years 5 months ago
Combating Aging with the Colt Duty Cycle Equalizer
Bias temperature instability, hot-carrier injection, and gate-oxide wearout will cause severe lifetime degradation in the performance and the reliability of future CMOS devices. Th...
Erika Gunadi, Abhishek A. Sinkar, Nam Sung Kim, Mi...