Sciweavers

14709 search results - page 228 / 2942
» Semantic feature modelling
Sort
View
ICTAC
2004
Springer
15 years 12 months ago
Verifying OWL and ORL Ontologies in PVS
The Semantic Web vision is being realized to reach the full potential of the Web. Semantic data modeling is the foundation of the Semantic Web. The Web Ontology Language (OWL) and ...
Jin Song Dong, Yuzhang Feng, Yuan-Fang Li
UML
2001
Springer
15 years 11 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 6 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
VMV
2001
158views Visualization» more  VMV 2001»
15 years 8 months ago
Compression of Large 3D Engineering Models using Automatic Discovery of Repeating Geometric Features
In this paper, we present a new geometry compression technique particularly suitable for 3D mesh models of engineering class
Dinesh Shikhare, Sushil Bhakar, Sudhir P. Mudur
UM
2010
Springer
15 years 10 months ago
Ranking Feature Sets for Emotion Models Used in Classroom Based Intelligent Tutoring Systems
Abstract. Recent progress has been made by using sensors with Intelligent Tutoring Systems in classrooms in order to predict the affective state of students users. If tutors are a...
David G. Cooper, Kasia Muldner, Ivon Arroyo, Bever...