2688 search results - page 231 / 538 » A formal semantics for P3P |
179
click to vote
ACSD
2007
IEEE
16 years 1 months ago
2007
IEEE
Signal Transition Graphs (STG) are a formalism for the description of asynchronous circuit behaviour. In this paper we propose (and justify) a formal semantics of nondeterministic...
162
click to vote
ICCS
2007
Springer
16 years 1 months ago
2007
Springer
This paper presents a Conceptual Graph (cg) framework to the Generation of Referring Expressions (gre). Employing Conceptual Graphs as the underlying formalism allows a new rigorou...
160
click to vote
ISVC
2007
Springer
16 years 1 months ago
2007
Springer
Video event understanding requires a formalism that can model complex logical temporal and spatial relations between composing sub-events. In this paper we argue that the Petri-Net...
199
click to vote
SFM
2007
Springer
16 years 1 months ago
2007
Springer
Markovian behavioral equivalences are a means to relate and manipulate the formal descriptions of systems with an underlying CTMC semantics. There are three fundamental approaches ...
192
click to vote
ARGMAS
2005
Springer
16 years 23 days ago
2005
Springer
Abstract. This paper presents a novel approach to modelling embedded agent dialogues. It proposes a specific structure for the supporting information accompanying the arguments th...