ENTCS
2008
13 years 4 months ago
2008
This paper proposes a formal framework and architecture for specification and analysis of interactive agents. The framework can be used to explore the design space, study features...
GECCO
2008
Springer
13 years 5 months ago
2008
Springer
Determining if a group of proteins are functionally associated among themselves is an open problem in molecular biology. Within our long term goal of applying Genetic Programming ...
ASSETS
2008
ACM
13 years 6 months ago
2008
ACM
Information graphics (such as bar charts and line graphs) are an important component of many documents. Unfortunately, these representations present serious access challenges for ...
MONTEREY
2007
Springer
13 years 11 months ago
2007
Springer
In this paper, we describe an approach to formally assess whether an organization conforms to a body of regulation. Conformance is cast as a model checking question where the regul...