2203 search results - page 54 / 441 » Temporal Abstract Interpretation |
124
click to vote
LATIN
2004
Springer
15 years 8 months ago
2004
Springer
The paper settles a long standing problem for Mazurkiewicz traces: the pure future local temporal logic defined with the basic modalities exists-next and until is expressively com...
123
Voted
IANDC
2007
15 years 2 months ago
2007
We consider an extension of linear-time temporal logic (LTL) with constraints interpreted over a concrete domain. We use a new automata-theoretic technique to show pspace decidabi...
131
Voted
ICCV
2003
IEEE
16 years 4 months ago
2003
IEEE
Dynamic Probabilistic Networks (DPNs) are exploited for modelling the temporal relationships among a set of different object temporal events in the scene for a coherent and robust...
136
Voted
CORIA
2010
14 years 9 months ago
2010
Knowledge discovery from satellite images in spatio-temporal context remains one of the major challenges in the remote sensing field. It is, always, difficult for a user to manuall...
111
Voted
ESANN
2008
15 years 4 months ago
2008
Abstract. This paper discusses a machine learning approach for binary classification problems which satisfies the specific requirements of safety-related applications. The approach...