781 search results - page 10 / 157 » Automatic Formal Model Generation and Analysis of SDL |
WAPCV
2007
Springer
14 years 1 months ago
2007
Springer
In this paper a simulation model for visual attention is discussed and formally analysed. The model is part of the design of a cognitive system which comprises an agent that suppor...
GCC
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. This paper describes an integrated architecture for online collaborative multimedia (audio and text) meetings which supports the recording of participants' audio exc...
AMAI
2011
Springer
12 years 7 months ago
2011
Springer
Formal concept analysis (FCA) has been applied successively in diverse fields such as data mining, conceptual modeling, social networks, software engineering, and the semantic we...
VMV
2004
13 years 9 months ago
2004
Statistical shape modeling using point distribution models (PDMs) has been studied extensively for segmentation and other image analysis tasks. Methods investigated in the literat...
CAIP
2005
Springer
13 years 9 months ago
2005
Springer
Abstract. The contribution presents an integrated system for automatic acquisition of a human torso model, using different input images. The output model consists of two free-form ...