2688 search results - page 231 / 538 » A formal semantics for P3P |
166
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...
156
click to vote
ICCS
2007
Springer
16 years 24 days 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...
148
Voted
ISVC
2007
Springer
16 years 23 days 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...
181
click to vote
SFM
2007
Springer
16 years 22 days 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 ...
175
click to vote
ARGMAS
2005
Springer
16 years 5 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...