Sciweavers

8499 search results - page 120 / 1700
» cans 2009
Sort
View
DEXA
2009
Springer
70views Database» more  DEXA 2009»
15 years 11 months ago
On the Termination Problem for Declarative XML Message Processing
Abstract. We define a formal syntax and semantics for the Rule Definition Language (RDL) of DemaqLite, which is a fragment of the declarative XML message processing system Demaq....
Tadeusz Litak, Sven Helmer
EDUTAINMENT
2009
Springer
15 years 11 months ago
Towards Intelligent Computer Assisted Educational Role-Play
This paper investigates how graphically displayed intelligent virtual actors, mobile devices and innovative interaction modalities can support and enhance educational role-play as ...
Mei Yii Lim, Ruth Aylett, Sibylle Enz, Michael Kri...
ER
2009
Springer
119views Database» more  ER 2009»
15 years 11 months ago
Assessing Modal Aspects of OntoUML Conceptual Models in Alloy
Assessing the quality of conceptual models is key to ensure that conceptual models can be used effectively as a basis for understanding, agreement and construction of information ...
Alessander Botti Benevides, Giancarlo Guizzardi, B...
ESA
2009
Springer
94views Algorithms» more  ESA 2009»
15 years 11 months ago
Shape Fitting on Point Sets with Probability Distributions
We consider problems on data sets where each data point has uncertainty described by an individual probability distribution. We develop several frameworks and algorithms for calcul...
Maarten Löffler, Jeff M. Phillips
ESA
2009
Springer
151views Algorithms» more  ESA 2009»
15 years 11 months ago
Experimental Study of FPT Algorithms for the Directed Feedback Vertex Set Problem
Abstract. We evaluate the performance of FPT algorithms for the directed feedback vertex set problem (DFVS). We propose several new data reduction rules for DFVS. which can signi...
Rudolf Fleischer, Xi Wu, Liwei Yuan