Sciweavers

4935 search results - page 649 / 987
» An Adaptive Supersampling Method
Sort
View
122
Voted
ECMDAFA
2009
Springer
109views Hardware» more  ECMDAFA 2009»
15 years 11 months ago
Uniform Random Generation of Huge Metamodel Instances
The size and the number of models is drastically increasing, preventing organizations from fully exploiting Model Driven Engineering benefits. Regarding this problem of scalabilit...
Alix Mougenot, Alexis Darrasse, Xavier Blanc, Mich...
155
Voted
IWANN
2009
Springer
15 years 11 months ago
Wireless Sensor Networks in Home Care
Ambient Intelligence has acquired great importance in recent years and requires the development of new innovative solutions. This paper presents a novel architecture which integrat...
Dante I. Tapia, Juan A. Fraile, Sara Rodríg...
150
Voted
LOPSTR
2009
Springer
15 years 11 months ago
The Dependency Triple Framework for Termination of Logic Programs
We show how to combine the two most powerful approaches for automated termination analysis of logic programs (LPs): the direct approach which operates directly on LPs and the trans...
Peter Schneider-Kamp, Jürgen Giesl, Manh Than...
PRIB
2009
Springer
135views Bioinformatics» more  PRIB 2009»
15 years 11 months ago
Sequential Hierarchical Pattern Clustering
Abstract. Clustering is a widely used unsupervised data analysis technique in machine learning. However, a common requirement amongst many existing clustering methods is that all p...
Bassam Farran, Amirthalingam Ramanan, Mahesan Nira...
SFM
2009
Springer
143views Formal Methods» more  SFM 2009»
15 years 11 months ago
Service Interaction: Patterns, Formalization, and Analysis
Abstract. As systems become more service oriented and processes increasingly cross organizational boundaries, interaction becomes more important. New technologies support the devel...
Wil M. P. van der Aalst, Arjan J. Mooij, Christian...