4460 search results - page 154 / 892 » Formal methods for interactive systems |
129
click to vote
TYPES
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Proof erasure plays an essential role in the paradigm of programming with theorem proving. In this paper, we introduce a form of attributive types that carry an attribute...
131
click to vote
FMICS
2006
Springer
15 years 7 months ago
2006
Springer
Formal specifications are more useful and easier to develop if they are executable. In this work, we describe a system for executing specifications written in the Java Modeling Lan...
150
click to vote
CMSB
2004
Springer
15 years 9 months ago
2004
Springer
Biological systems have recently been shown to share many of the properties of reactive systems. This observation has led to the idea of using methods devised for the construction ...
144
click to vote
SIGMOD
2010
ACM
15 years 4 months ago
2010
ACM
Information extraction systems are increasingly being used to mine structured information from unstructured text documents. A commonly used unsupervised technique is to build iter...
152
click to vote
MM
2004
ACM
15 years 9 months ago
2004
ACM
Our research on Interactive Drama aims at conciliating interaction and story at the deepest level, the level of action. From a given story representation formalism, a set of eleme...