Sciweavers

5599 search results - page 892 / 1120
» Abstract State Services
Sort
View
139
Voted
AAAI
2007
15 years 7 months ago
A New Algorithm for Generating Equilibria in Massive Zero-Sum Games
In normal scenarios, computer scientists often consider the number of states in a game to capture the difficulty of learning an equilibrium. However, players do not see games in ...
Martin Zinkevich, Michael H. Bowling, Neil Burch
APLAS
2008
ACM
15 years 7 months ago
The Complexity of Coverage
Abstract. We study the problem of generating a test sequence that achieves maximal coverage for a reactive system under test. We formulate the problem as a repeated game between th...
Krishnendu Chatterjee, Luca de Alfaro, Rupak Majum...
ECBS
2010
IEEE
200views Hardware» more  ECBS 2010»
15 years 7 months ago
Towards an Architectural Framework for Agile Software Development
—One of the ideas of agile software development is to respond to changes rather than following a plan. Constantly changing businesses result in changing requirements, to be handl...
Richard Mordinyi, eva Kühn, Alexander Schatte...
ASPDAC
2008
ACM
92views Hardware» more  ASPDAC 2008»
15 years 7 months ago
Decomposition based approach for synthesis of multi-level threshold logic circuits
Scaling is currently the most popular technique used to improve performance metrics of CMOS circuits. This cannot go on forever because the properties that are responsible for the ...
Tejaswi Gowda, Sarma B. K. Vrudhula
ATAL
2008
Springer
15 years 7 months ago
Methods for complex single-mind architecture designs
The implementation of software systems with large numbers of heterogeneous components calls for a powerful design methodology. Although several such methodologies have been propos...
Kristinn R. Thórisson, Gudny Ragna Jonsdott...