2479 search results - page 184 / 496 » Random Event Structures |
165
click to vote
ACSD
2007
IEEE
16 years 22 days ago
2007
IEEE
In this paper we show how to use labelled event structures as a unique mathematical representation for design models consisting of different UML 2.0 diagrams/notation. Each diagra...
157
click to vote
FORMATS
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. The verification formalism / modeling and simulation language hybrid Chi is defined. The semantics of hybrid Chi is formally specified using Structured Operational Sem...
134
Voted
FOIS
2006
15 years 7 months ago
2006
The focus of this paper are actions in which agents employ instruments in order to achieve desired outcomes. I explore the ontological structure of such actions and the semantic fe...
160
Voted
COLING
2002
15 years 6 months ago
2002
This paper attempts to bridge the gap between FrameNet frames and inference. We describe a computational formalism that captures structural relationships among participants in a d...
202
click to vote
GBRPR
2009
Springer
16 years 28 days ago
2009
Springer
We present an irregular image pyramid which is derived from multi-scale analysis of segmented watershed regions. Our framework is based on the development of regions in the Gaussia...