Sciweavers

2539 search results - page 254 / 508
» Semantic frameworks for e-government
Sort
View
IJCAI
2003
15 years 8 months ago
A Logic For Causal Reasoning
We introduce a logical formalism of irreflexivc causal production relations that possesses both a standard monotonic semantics, and a natural nonmonotonic semantics. The formalism...
Alexander Bochman
SPIESR
2004
152views Database» more  SPIESR 2004»
15 years 8 months ago
Issues in managing image and video data
This paper presents an overview of our recent work on managing image and video data. The first half of the paper describes a representation for the semantic spatial layout of vide...
Shawn D. Newsam, Jelena Tesic, Lei Wang, B. S. Man...
IWFM
1998
134views Formal Methods» more  IWFM 1998»
15 years 8 months ago
Facilitating Modular Property-Preserving Extensions of Programming Languages
We will explore an approach to modular programming language descriptions and extensions in a denotational style. Based on a language core, language features are added stepwise on ...
Claus Pahl
APLAS
2010
ACM
15 years 6 months ago
Model Independent Order Relations for Processes
Semantic preorders between processes are usually applied in practice to model approximation or implementation relationships. For interactive models these preorders depend crucially...
Chaodong He
CII
2010
87views more  CII 2010»
15 years 6 months ago
The Unified Enterprise Modelling Language - Overview and further work
: The Unified Enterprise Modelling Language (UEML) aims to support integrated use of enterprise and IS models expressed in a variety of languages. The achieve this aim, UEML provid...
Víctor Anaya, Giuseppe Berio, Mounira Harza...