4209 search results - page 470 / 842 » Abstract Dialectical Frameworks |
127
click to vote
LOCA
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Location Fingerprinting (LF) is a promising location technique for many awareness applications in pervasive computing. However, as research on LF systems goes beyond basi...
150
click to vote
MICCAI
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. This paper presents a new approach to regional myocardial contractility analysis based on inter-landmark motion (ILM) vectors and multivariate outlier detection. The prop...
124
click to vote
MKM
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. In previous papers we described the implementation of a system which combines mathematical object generation, transformation and filtering, conjecture generation, provin...
117
click to vote
MODELS
2007
Springer
15 years 11 months ago
2007
Springer
ant Talks Abstracts Modelling Tools: Claudia Ermel: Tiger Harmen Kastenberg: GROOVE Christian Köhler: EMF Model Transformation Ákos Horváth: The VIATRA2 Model Transformation Fra...
124
click to vote
MODELS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract We have previously proposed an expressive UML-based language for constructing and transforming security-design models, which are models that combine design specifications...