305 search results - page 36 / 61 » A Logical Framework to Deal with Variability |
109
click to vote
ATAL
2005
Springer
15 years 5 months ago
2005
Springer
In this paper we combine existing work in the area of social laws with a framework for reasoning about knowledge in multi-agent systems. The unifying framework in which this is do...
MMM
2009
Springer
15 years 8 months ago
2009
Springer
Automatic recognition of human affective states is still a largely unexplored and challenging topic. Even more issues arise when dealing with variable quality of the inputs or aim...
ECCV
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We present a discriminatively trained model for joint modelling of object class labels (e.g. “person”, “dog”, “chair”, etc.) and their visual attributes (e.g....
128
click to vote
SPIN
2000
Springer
15 years 3 months ago
2000
Springer
Systematic state-space exploration is a powerful technique for veri cation of concurrent software systems. Most work in this area deals with manually-constructed models of those sy...
111
Voted
ECAI
2008
Springer
15 years 1 months ago
2008
Springer
Time is a crucial variable in planning and often requires special attention since it introduces a specific structure along with additional complexity, especially in the case of dec...