2203 search results - page 99 / 441 » Temporal Abstract Interpretation |
110
click to vote
AMAST
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. In this paper, we give an operational and denotational semantics for a 3APL meta-language, with which various 3APL interpreters can be programmed. We moreover prove equiv...
130
Voted
ICMCS
1995
IEEE
15 years 7 months ago
1995
IEEE
This paper presents a framework for data modeling ntic abstraction of image/video data. The framework is based on spatio-temporalinformation associated with salient objects in an ...
100
Voted
ECAI
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Asbru is a complex formal language developed to represent clinical guidelines and protocols which are time- and processoriented. To facilitate and support the modeling in...
115
Voted
FSEN
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. We present Trio2Promela, a tool for model checking TRIO specifications by means of Spin. TRIO is a linear-time temporal logic with both future and past operators and a qu...
153
click to vote
BIRTHDAY
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Probabilistic systems of interacting intelligent agents are considered. They have two sources of uncertainty: uncertainty of communication channels and uncertainty of act...