Sciweavers

1792 search results - page 88 / 359
» Requirements Capture with RCAT
Sort
View
CALCO
2005
Springer
98views Mathematics» more  CALCO 2005»
15 years 12 months ago
Behavioral Extensions of Institutions
We show that any institution I satisfying some reasonable conditions can be transformed into another institution, Ibeh, which captures formally and abstractly the intuitions of add...
Andrei Popescu, Grigore Rosu
DAGM
2005
Springer
15 years 12 months ago
Automatic Foreground Propagation in Image Sequences for 3D Reconstruction
Abstract: In this paper we introduce a novel method for automatic propagation of foreground objects in image sequences. Our method is based on a combination of the mean-shift opera...
Mario Sormann, Christopher Zach, Joachim Bauer, Ko...
DAWAK
2005
Springer
15 years 12 months ago
A Decremental Algorithm for Maintaining Frequent Itemsets in Dynamic Databases
Data mining and machine learning must confront the problem of pattern maintenance because data updating is a fundamental operation in data management. Most existing data-mining alg...
Shichao Zhang, Xindong Wu, Jilian Zhang, Chengqi Z...
ECOOP
2005
Springer
15 years 12 months ago
Towards a Meta-Modelling Approach to Configurable Middleware
Abstract. In our research we are studying how to combine modelling, metamodelling, and reflection to systematically generate middleware configurations that can be targeted at diffe...
Nelly Bencomo, Gordon S. Blair, Geoff Coulson, Tha...
ICMLC
2005
Springer
15 years 11 months ago
Adaptive Online Multi-stroke Sketch Recognition Based on Hidden Markov Model
This paper presents a novel approach for adaptive online multi-stroke sketch recognition based on Hidden Markov Model (HMM). The method views the drawing sketch as the result of a ...
Zhengxing Sun, Wei Jiang, Jianyong Sun