Sciweavers

1879 search results - page 121 / 376
» Extending Reflective Architectures
Sort
View
129
Voted
ECTEL
2008
Springer
15 years 6 months ago
A Supporting Architecture for Generic Service Integration in IMS Learning Design
Abstract. Learning Design offers the possibility of capturing the process, activities, user organization and resources used in a learning experience. But a wider set of scenarios a...
Luis de la Fuente Valentín, Yongwu Miao, Ab...
EMSOFT
2001
Springer
15 years 8 months ago
System-Level Types for Component-Based Design
Abstract. We present a framework to extend the concept of type systems in programming languages to capture the dynamic interaction in component-based design, such as the communicat...
Edward A. Lee, Yuhong Xiong
AUSAI
2007
Springer
15 years 8 months ago
Branching Rules for Satisfiability Analysed with Factor Analysis
Factor analysis is a statistical technique for reducing the number of factors responsible for a matrix of correlations to a smaller number of factors that may reflect underlying va...
Richard J. Wallace, Stuart Bain
133
Voted
CVPR
2009
IEEE
15 years 8 months ago
Classification of tensors and fiber tracts using Mercer-kernels encoding soft probabilistic spatial and diffusion information
In this paper, we present a kernel-based approach to the clustering of diffusion tensors and fiber tracts. We propose to use a Mercer kernel over the tensor space where both spati...
Radhouène Neji, Nikos Paragios, Gilles Fleu...
AMAI
2008
Springer
15 years 4 months ago
Justification logics, logics of knowledge, and conservativity
Several justification logics have been created, starting with the logic LP, [1]. These can be thought of as explicit versions of modal logics, or of logics of knowledge or belief,...
Melvin Fitting