Sciweavers

1569 search results - page 269 / 314
» Programming contest strategy
Sort
View
IJAIT
2000
142views more  IJAIT 2000»
13 years 8 months ago
Adequacy of Limited Testing for Knowledge Based Systems
Knowledge-based engineering and computational intelligence are expected to become core technologies in the design and manufacturing for the next generation of space exploration mi...
Tim Menzies, Bojan Cukic
DPD
2002
114views more  DPD 2002»
13 years 8 months ago
Query Decomposition for a Distributed Object-Oriented Mediator System
The mediator-wrapper approach to integrate data from heterogeneous data sources has usually been centralized in the sense that a single mediator system is placed between a number o...
Vanja Josifovski, Tore Risch
CORR
2007
Springer
111views Education» more  CORR 2007»
13 years 8 months ago
A New Perspective on Multi-user Power Control Games in Interference Channels
This paper considers the problem of how to allocate power among competing users sharing a frequency-selective interference channel. We model the interaction between these selfish ...
Yi Su, Mihaela van der Schaar
ENTCS
2002
143views more  ENTCS 2002»
13 years 8 months ago
Collecting Statistics over Runtime Executions
Abstract. We present an extension to linear-time temporal logic (LTL) that combines the temporal specification with the collection of statistical data. By collecting statistics ove...
Bernd Finkbeiner, Sriram Sankaranarayanan, Henny S...
ECRA
2002
129views more  ECRA 2002»
13 years 8 months ago
A formal approach to negotiating agents development
This paper presents a formal and executable approach to capture the behaviour of parties involved in a negotiation. A party is modeled as a negotiating agent composed of a communi...
Marlon Dumas, Guido Governatori, Arthur H. M. ter ...