2273 search results - page 105 / 455 » On the Expressiveness and Complexity of ATL |
146
click to vote
CMSB
2011
Springer
13 years 9 months ago
2011
Springer
From the phosphorylation state of a molecule to the volume of a cell, parameters are ubiquitous in systems biology. At the same time, most models involve static or dynamic compart...
BMCBI
2008
14 years 10 months ago
2008
Background: Expression profiles obtained from multiple perturbation experiments are increasingly used to reconstruct transcriptional regulatory networks, from well studied, simple...
107
click to vote
CVPR
2012
IEEE
13 years 11 days ago
2012
IEEE
This paper addresses recognition of human activities with stochastic structure, characterized by variable spacetime arrangements of primitive actions, and conducted by a variable ...
IAT
2007
IEEE
15 years 4 months ago
2007
IEEE
This paper proposes a multi-agent system architecture based on introspective agents provided with an expressive communication language and reasoning capabilities on their skills. ...
PPOPP
2005
ACM
15 years 3 months ago
2005
ACM
The Tensor Contraction Engine (TCE) is a domain-specific compiler for implementing complex tensor contraction expressions arising in quantum chemistry applications modeling elect...