Sciweavers

1458 search results - page 150 / 292
» Extended Term Rewriting Systems
Sort
View
SPLC
2008
15 years 7 months ago
Calculating and Modeling Common Parts of Software Product Lines
This paper builds on product line CCS (PL-CCS), an algebraic approach to modeling the behavior of software product lines. The semantics of PL-CCS specifications is given in terms ...
Alexander Gruler, Martin Leucker, Kathrin D. Schei...
IJIT
2004
15 years 7 months ago
Consistent Hybrid Knowledge Representation in Order-Sorted Logic
Abstract-- We consider a hybrid knowledge representation system for ontological knowledge bases in order to maintain knowledge consistency between taxonomic knowledge and assertion...
Nwe Ni Tun, Satoshi Tojo
HT
2010
ACM
15 years 4 months ago
Provenance meets adaptive hypermedia
In this paper we consider provenance modelling in Adaptive Hypermedia Systems (AHS). We revisit adaptation and data provenance questions and bring up new and complementary aspects...
Evgeny Knutov, Paul De Bra, Mykola Pechenizkiy
SIGDIAL
2010
15 years 3 months ago
Parameter estimation for agenda-based user simulation
This paper presents an agenda-based user simulator which has been extended to be trainable on real data with the aim of more closely modelling the complex rational behaviour exhib...
Simon Keizer, Milica Gasic, Filip Jurcícek,...
JEI
2010
123views more  JEI 2010»
15 years 25 days ago
Estimating reflectance from multispectral camera responses based on partial least-squares regression
Abstract. In multispectral imaging systems, the accuracy of reflectance estimation can be degraded by the nonlinearity in imaging process, which is due to non-Gaussian distribution...
Hui-Liang Shen, Hui-Jiang Wan, Zhe-Chao Zhang