4209 search results - page 470 / 842 » Abstract Dialectical Frameworks |
189
click to vote
LOCA
2007
Springer
16 years 1 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...
217
click to vote
MICCAI
2007
Springer
16 years 1 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...
159
click to vote
MKM
2007
Springer
16 years 1 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...
167
click to vote
MODELS
2007
Springer
16 years 1 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...
186
click to vote
MODELS
2007
Springer
16 years 1 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...