2203 search results - page 57 / 441 » Temporal Abstract Interpretation |
WISE
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. This paper describes MEAT (Memory of Experiments for the Analysis of Transcriptomes), a project aiming at supporting biologists working on DNA microarrays. We provide met...
EUROPAR
1998
Springer
15 years 2 months ago
1998
Springer
Abstract. In an interpreted execution there is an interdependence between the interpreter's execution and the interpreted application's execution; the implementation of t...
ECAI
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. Interval temporal logics formalize reasoning about interval structures over (usually) linearly ordered domains, where time intervals are the primitive ontological entitie...
82
Voted
JANCL
2007
14 years 10 months ago
2007
We propose a non-standard interpretation of Alternating-time Temporal Logic with imperfect information, for which no commonly accepted semantics has been proposed yet. Rather than ...
SAS
1994
Springer
15 years 2 months ago
1994
Springer
Abstract. Our aim is to study how the interpretive approach -- inserting an interpreter between a source program and a program specializer -- can be used to improve the transformat...