Sciweavers

14084 search results - page 303 / 2817
» A Theory for Game Theories
Sort
View
COMPSAC
2009
IEEE
15 years 11 months ago
Towards a Theory for Testing Non-terminating Programs
Non-terminating programs are programs that legally perform unbounded computations. Though they are ubiquitous in real-world applications, testing these programs requires new theor...
Arnaud Gotlieb, Matthieu Petit
WOWMOM
2009
ACM
106views Multimedia» more  WOWMOM 2009»
15 years 11 months ago
Proactive radio resource management using optimal stopping theory
In this paper, we focus on proactive radio resource management schemes that retain the quality of the individual connections by pre-reserving the needed resources in a cellular ne...
Marios Poulakis, Stavroula Vassaki, Stathes Hadjie...
206
Voted
FROCOS
2009
Springer
15 years 11 months ago
A Declarative Agent Programming Language Based on Action Theories
We discuss a new concept of agent programs that combines logic programming with reasoning about actions. These agent logic programs are characterized by a clear separation between ...
Conrad Drescher, Stephan Schiffel, Michael Thielsc...
LFCS
2009
Springer
15 years 11 months ago
A Bialgebraic Approach to Automata and Formal Language Theory
A bialgebra is a structure which is simultaneously an algebra and a coalgebra, such that the algebraic and coalgebraic parts are compatible. Bialgebras are usually studied over a ...
James Worthington
RSKT
2009
Springer
15 years 11 months ago
A Time-Reduction Strategy to Feature Selection in Rough Set Theory
In rough set theory, the problem of feature selection aims to retain the discriminatory power of original features. Many feature selection algorithms have been proposed, however, q...
Hongxing Chen, Yuhua Qian, Jiye Liang, Wei Wei, Fe...