Sciweavers

1652 search results - page 153 / 331
» Integration in Real PCF
Sort
View
173
Voted
CAISE
2009
Springer
15 years 11 months ago
A Method for Service Identification from Business Process Models in a SOA Approach
Abstract. Various approaches for services development in SOA propose business processes as a starting point. However, there is a lack of systematic methods for services identificat...
Leonardo Guerreiro Azevedo, Flávia Maria Sa...
FORMATS
2009
Springer
15 years 11 months ago
Exploiting Timed Automata for Conformance Testing of Power Measurements
For software development, testing is still the primary choice for investigating the correctness of a system. Automated testing is of utmost importance to support continuous integra...
Matthias Woehrle, Kai Lampka, Lothar Thiele
PKDD
2009
Springer
170views Data Mining» more  PKDD 2009»
15 years 11 months ago
Statistical Relational Learning with Formal Ontologies
Abstract. We propose a learning approach for integrating formal knowledge into statistical inference by exploiting ontologies as a semantically rich and fully formal representation...
Achim Rettinger, Matthias Nickles, Volker Tresp
FGR
2008
IEEE
170views Biometrics» more  FGR 2008»
15 years 11 months ago
Using an adaptive VAR Model for motion prediction in 3D hand tracking
A robust VAR-based (vector autoregressive) model is introduced for motion prediction in 3D hand tracking. This dynamic VAR motion model is learned in an online manner. The kinemat...
Desmond Chik, Jochen Trumpf, Nicol N. Schraudolph
ICPR
2008
IEEE
15 years 11 months ago
Optimal feature weighting for the continuous HMM
We propose new Continuous Hidden Markov Model (CHMM) structure that integrates feature weighting component. We assume that each feature vector could include different subsets of f...
Oualid Missaoui, Hichem Frigui