5205 search results - page 882 / 1041 » Tilings and model theory |
169
click to vote
ARGMAS
2006
Springer
15 years 10 months ago
2006
Springer
We build on recent work on argumentation frameworks for generating desires and plans. We provide a rich instantiDung's abstract argumentation framework for (i) generating con...
144
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
Multiagent resource allocation is a timely and exciting area of research at the interface of Computer Science and Economics. One of the main challenges in this area is the high co...
165
click to vote
ATVA
2006
Springer
15 years 10 months ago
2006
Springer
Testing is one of the fundamental techniques for verifying if a computing system conforms to its specification. We take a fresh look at the theory of testing for message-passing sy...
143
click to vote
CSB
2004
IEEE
15 years 10 months ago
2004
IEEE
Shannon information in the genomes of all completely sequenced prokaryotes and eukaryotes are measured in word lengths of two to ten letters. It is found that in a scale-dependent...
165
click to vote
CASES
2006
ACM
15 years 10 months ago
2006
ACM
We present a new technique for compiling run-time reconfigurable hardware designs. Run-time reconfigurable embedded systems can deliver promising benefits over implementations in ...