2911 search results - page 212 / 583 » A Theory of Expressiveness in Mechanisms |
188
click to vote
CCE
2005
15 years 6 months ago
2005
Armed with increasingly fast supercomputers and greater knowledge of the molecular mechanisms of gene expression, it is now practical to numerically simulate complex networks of r...
160
click to vote
FMSD
2002
15 years 6 months ago
2002
The powerlists data structure, created by Misra in the early 90s, is well suited to express recursive, data-parallel algorithms. Misra has shown how powerlists can be used to give ...
141
click to vote
JOT
2002
15 years 6 months ago
2002
es are extended with a factorable, abstract state, and methods of interfaces are extended with state transformation behaviours. A new programming language command, the USE statemen...
172
click to vote
TMM
2002
15 years 6 months ago
2002
A comprehensive video retrieval system should be able to accommodate and utilize various (complementary) description data in facilitating effective retrieval. In this paper, we ad...
331
click to vote
LPNMR
2011
Springer
14 years 9 months ago
2011
Springer
Communicating answer set programming is a framework to represent and reason about the combined knowledge of multiple agents using the idea of stable models. The semantics and expre...