1134 search results - page 155 / 227 » Using Constraints with Action Language for Model Evolution |
161
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: The imprint of natural selection on gene sequences is often difficult to detect. A plethora of methods have been devised to detect genetic changes due to selective pro...
166
click to vote
ACL
2012
13 years 8 months ago
2012
Comprehending action preconditions and effects is an essential step in modeling the dynamics of the world. In this paper, we express the semantics of precondition relations extrac...
160
click to vote
ISPW
2006
IEEE
16 years 6 days ago
2006
IEEE
This paper shows that process definition and analysis technologies can be used to reason about the vulnerability of election processes with respect to incorrect or fraudulent behav...
147
click to vote
MMAS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. As the scale and scope of multi-agent systems grow, it becomes increasingly important to design and manage the manner in which the participants interact. The potential fo...
161
click to vote
PLDI
2010
ACM
15 years 11 months ago
2010
ACM
Arrays are the ubiquitous organization for indexed data. Throughout programming language evolution, implementations have laid out arrays contiguously in memory. This layout is pro...