Sciweavers

7452 search results - page 179 / 1491
» A Semantics for Multiprocessor Systems
Sort
View
AMKM
2003
Springer
15 years 9 months ago
Automatically Generated DAML Markup for Semistructured Documents
The semantic web is becoming a realizable technology due to the efforts of researchers to develop semantic markup languages such as the DARPA Agent Markup Language (DAML). A major...
William Krueger, Jonathan Nilsson, Tim Oates, Timo...
UML
2001
Springer
15 years 8 months ago
An Execution Algorithm for UML Activity Graphs
We present a real-time execution semantics for UML activity graphs that is intended for workflow modelling. The semantics is defined in terms of execution algorithms that define...
Rik Eshuis, Roel Wieringa
FUIN
2008
94views more  FUIN 2008»
15 years 4 months ago
On the Compared Expressiveness of Arc, Place and Transition Time Petri Nets
In this paper, we consider safe Time Petri Nets where time intervals (strict and large) are associated with places (P-TPN), arcs (A-TPN) or transitions (T-TPN). We give the formal ...
Marc Boyer, Olivier H. Roux
SMC
2007
IEEE
172views Control Systems» more  SMC 2007»
15 years 10 months ago
Measuring semantic similarity using wordnet-based context vectors
— Semantic relatedness between words or concepts is a fundamental problem in many applications of computational linguistics and artificial intelligence. In this paper, a new mea...
Shen Wan, Rafal A. Angryk
AAAI
2010
15 years 5 months ago
Finding Semantic Inconsistencies in UMLS using Answer Set Programming
We introduce a new method to find semantic inconsistencies (i.e., concepts with erroneous synonymity) in the Unified Medical Language System (UMLS). The idea is to identify the in...
Halit Erdogan, Olivier Bodenreider, Esra Erdem