Sciweavers

5326 search results - page 814 / 1066
» On what we can ensure
Sort
View
CAISE
2010
Springer
15 years 3 months ago
Towards Automated Inconsistency Handling in Design Models
Abstract. The increasing adoption of MDD (Model Driven Development) techniques favored the use of large models of different types. It turns out that when the modeled system gets la...
Marcos Aurélio Almeida da Silva, Alix Mouge...
ENTCS
2011
99views more  ENTCS 2011»
15 years 1 months ago
Symmetry and Composition in Probabilistic Theories
The past decade has seen a remarkable resurgence of the old programme of finding more or less a priori axioms for the mathematical framework of quantum mechanics. The new impetus...
Alexander Wilce
ICONFERENCE
2011
15 years 1 months ago
Loose strands: searching for evidence of public access ICT impact on development
Telecenters, libraries and internet cafés are often credited as being important venues for making information and communication technologies (ICTs) more widely available for peop...
Araba Sey, Michelle Fellows
KDD
2002
ACM
293views Data Mining» more  KDD 2002»
16 years 7 months ago
Automatic Categorization of Web Pages and User Clustering with Mixtures of Hidden Markov Models
We propose mixtures of hidden Markov models for modelling clickstreams of web surfers. Hence, the page categorization is learned from the data without the need for a (possibly cumb...
Alexander Ypma, Tom Heskes
VLDB
2008
ACM
136views Database» more  VLDB 2008»
16 years 6 months ago
Efficient updates in dynamic XML data: from binary string to quaternary string
XML query processing based on labeling schemes has been thoroughly studied in the past several years. Recently efficient processing of updates in dynamic XML data has gained more a...
Changqing Li, Tok Wang Ling, Min Hu