2203 search results - page 122 / 441 » Temporal Abstract Interpretation |
124
Voted
CADE
2005
Springer
16 years 3 months ago
2005
Springer
Abstract. We investigate the computational behaviour of `two-dimensional' propositional temporal logics over (N, <) (with and without the next-time operator ?) that are cap...
130
Voted
INFOCOM
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract—Multicast-based network tomography enables inference of average loss rates and delay distributions of internal network links from end-to-end measurements of multicast pr...
154
Voted
ISMIS
1997
Springer
15 years 7 months ago
1997
Springer
e about image features can be expressed as a hierarchical structure called a Type Abstraction Hierarchy (TAH). TAHs can be generated automatically by clustering algorithms based on...
166
Voted
ADS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. In this pilot study, a neural architecture for temporal emotion recognition from image sequences is proposed. The investigation aims at the development of key principles ...
110
Voted
FORTE
2004
15 years 4 months ago
2004
Abstract. We propose a framework for intrusion detection that is based on runtime monitoring of temporal logic specifications. We specify intrusion patterns as formulas in an expre...