4636 search results - page 635 / 928 » Modelling and Validation with VipTool |
169
click to vote
AI
2006
Springer
15 years 8 months ago
2006
Springer
Assistance to people suffering from cognitive deficiencies in a smart home raises complex issues. Plan recognition is one of them. We propose a formal framework for the recognition...
161
click to vote
BPM
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. We propose a meta-meta framework architecture for supporting the behaviour based integration of two business processes. The meta-meta level provides basic integration ope...
200
click to vote
ECTEL
2006
Springer
15 years 8 months ago
2006
Springer
It is often the case that analyses of human interactive activity are lost once an article is written about the results obtained. Although it is clear that corpora are gathered in o...
192
click to vote
AINA
2008
IEEE
15 years 8 months ago
2008
IEEE
The evolution of any software product over its lifetime is unavoidable, caused both by bugs to be fixed and by new requirements appearing in the later stages of the product's...
170
click to vote
DGCI
2008
Springer
15 years 8 months ago
2008
Springer
This paper presents the first segmentation operation defined within the 3D topological map framework. Firstly we show how a traditional segmentation algorithm, found in the literat...