13985 search results - page 486 / 2797 » Active Feature Models |
163
click to vote
CAISE
2006
Springer
15 years 8 months ago
2006
Springer
The EDEMOI project aims to model standards that regulate airport security. It involves the production of a UML model, to support the validation activity, and a formal model for ver...
144
Voted
IADIS
2004
15 years 7 months ago
2004
Collaborative modelling tools can support rich activities in the classroom, including both small group work and plenary activities. They can also support the processing and analys...
169
click to vote
ICCL
1994
IEEE
15 years 10 months ago
1994
IEEE
This paper presents a framework to define a semantics for a real-time object-orientation programming language and to verify programs written in the language. The semantics is defi...
165
click to vote
CCIA
2009
Springer
15 years 7 months ago
2009
Springer
In this paper, we argue that only using behavioural motion information, we are able to predict the interest of observers when looking at face-to-face interactions. We propose a set...
210
click to vote
TIP
2010
15 years 1 months ago
2010
This paper proposes an approach for recognizing human activities (more specifically, pedestrian trajectories) in video sequences, in a surveillance context. A system for automatic ...