5622 search results - page 718 / 1125 » Solving architectural modelling problems using knowledge |
193
click to vote
ATAL
2010
Springer
15 years 8 months ago
2010
Springer
This paper describes an algorithm, called CQ-learning, which learns to adapt the state representation for multi-agent systems in order to coordinate with other agents. We propose ...
226
click to vote
TCAD
2010
15 years 1 months ago
2010
Design debugging is a major bottleneck in modern VLSI design flows as both the design size and the length of the error trace contribute to its inherent complexity. With typical des...
250
click to vote
PATMOS
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. Until now, the great majority of research in low-power systems has assumed a convex power model. However, recently, due to the confluence of emerging technological and ar...
172
click to vote
CRYPTO
2009
Springer
16 years 1 months ago
2009
Springer
The problem of carrying out cryptographic computations when the participating parties are rational in a game-theoretic sense has recently gained much attention. One problem that h...
166
click to vote
IJCAI
2007
15 years 8 months ago
2007
Local search procedures for solving satisfiability problems have attracted considerable attention since the development of GSAT in 1992. However, recent work indicates that for m...