Sciweavers

5284 search results - page 641 / 1057
» Ontologizing Semantic Relations
Sort
View
CALCO
2005
Springer
114views Mathematics» more  CALCO 2005»
16 years 12 days ago
Towards a Coalgebraic Semantics of the Ambient Calculus
Recently, various process calculi have been introduced which are suited for the modelling of mobile computation and in particular the mobility of program code; a prominent example ...
Daniel Hausmann, Till Mossakowski, Lutz Schrö...
FM
2005
Springer
99views Formal Methods» more  FM 2005»
16 years 11 days ago
Semantics of BPEL4WS-Like Fault and Compensation Handling
BPEL4WS is one of the most important business process modelling languages. One distinct feature of it is the fully programmable fault and compensation handling mechanism, which all...
Zongyan Qiu, Shuling Wang, Geguang Pu, Xiangpeng Z...
ICCS
2005
Springer
16 years 11 days ago
Conzilla - A Conceptual Interface to the Semantic Web
Abstract. This paper has two foci that are intended to be complementary. First, it describes Conzilla as an incarnation of a concept browser. More specifically, as a technical sol...
Matthias Palmér, Ambjörn Naeve
RELMICS
2005
Springer
16 years 10 days ago
Control-Flow Semantics for Assembly-Level Data-Flow Graphs
Abstract. As part of a larger project, we have built a declarative assembly language that enables us to specify multiple code paths to compute particular quantities, giving the ins...
Wolfram Kahl, Christopher Kumar Anand, Jacques Car...
MMM
2003
Springer
152views Multimedia» more  MMM 2003»
16 years 3 days ago
Semantic Video Annotation and Vague Query
The Digital Video Album (DVA) system described here integrates various cooperating subsystems to index and query video documents according to their semantic content and other meta...
Qiuying Zhang, Mohan S. Kankanhalli, Philippe Mulh...