1938 search results - page 369 / 388 » Extending Conceptual Models for Web Based Applications |
ECML
2001
Springer
14 years 5 days ago
2001
Springer
In many applications, modelling techniques are necessary which take into account the inherent variability of given data. In this paper, we present an approach to model class speciļ...
ECCV
2004
Springer
14 years 9 months ago
2004
Springer
This paper proposes a robust estimation and validation framework for characterizing local structures in a positive multi-variate continuous function approximated by a Gaussian-base...
ECMDAFA
2005
Springer
14 years 1 months ago
2005
Springer
This article presents a control flow analysis methodology based on UML 2.0 sequence diagrams (SD). In contrast to the conventional code-based control flow analysis techniques, thi...
ESOP
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. We survey recent developments in an approach to the verification of higher-order computation based on game semantics. Higherorder recursion schemes are in essence (progra...
PERVASIVE
2011
Springer
12 years 10 months ago
2011
Springer
Abstract. Accurate and ļ¬ne-grained prediction of future user location and geographical proļ¬le has interesting and promising applications including targeted content service, adv...