393 search results - page 2 / 79 » Dynamic Temporal Interpretation Contexts for Temporal Abstra... |
IPL
2010
13 years 3 months ago
2010
model checking via abstract interpretation N. De Francesco, G. Lettieri∗ , L. Martini, G. Vaglini Universit`a di Pisa, Dipartimento di Ingegneria dell’Informazione, sez. Inform...
IANDC
2008
13 years 4 months ago
2008
act Interpretation Francesco Ranzato and Francesco Tapparo Dipartimento di Matematica Pura ed Applicata, Universit`a di Padova, Italy The Paige and Tarjan algorithm (PT) for comp...
CLIMA
2007
13 years 6 months ago
2007
Abstract. Failures are unavoidable in many circumstances. For example, an agent may fail at some point to perform a task in a dynamic environment. Robust systems typically have mec...
SIGLEX
1991
13 years 8 months ago
1991
This paper argues for a two-level theory of semantics as opposed to a one-level theory, based on the example of the system of temporal and durationM connectives. Instead of identi...
SMA
1997
ACM
13 years 8 months ago
1997
ACM
This paper is concerned with frequency adverbs in Japanese. Many linguists have pointed out that frequency statements and generic sentences have multiple readings when they co-occ...