Sciweavers

400 search results - page 50 / 80
» Hard Problem Generation for MKP
Sort
View
119
Voted
IDEAL
2009
Springer
15 years 5 months ago
The Winning Advantage: Using Opponent Models in Robot Soccer
Opponent modeling is a skill in multi-agent systems (MAS) which attempts to create a model of the behavior of the opponent. This model can be used to predict the future actions of ...
José Antonio Iglesias, Juan Antonio Fern&aa...
ITC
2000
IEEE
124views Hardware» more  ITC 2000»
15 years 5 months ago
Wrapper design for embedded core test
A wrapper is a thin shell around the core, that provides the switching between functional, and core-internal and core-external test modes. Together with a test access mechanism (T...
Yervant Zorian, Erik Jan Marinissen, Maurice Lousb...
CP
2006
Springer
15 years 4 months ago
Towards an Efficient SAT Encoding for Temporal Reasoning
Abstract. In this paper, we investigate how an IA network can be effectively encoded into the SAT domain. We propose two basic approaches to modelling an IA network as a CSP: one r...
Duc Nghia Pham, John Thornton, Abdul Sattar
101
Voted
USENIX
2008
15 years 3 months ago
A Dollar from 15 Cents: Cross-Platform Management for Internet Services
As Internet services become ubiquitous, the selection and management of diverse server platforms now affects the bottom line of almost every firm in every industry. Ideally, such ...
Christopher Stewart, Terence Kelly, Alex Zhang, Ka...
ATAL
2008
Springer
15 years 2 months ago
Continual collaborative planning for mixed-initiative action and interaction
Multiagent environments are often highly dynamic and only partially observable which makes deliberative action planning computationally hard. In many such environments, however, a...
Michael Brenner