6040 search results - page 714 / 1208 » Generating Instance Models from Meta Models |
204
click to vote
FAC
2007
15 years 7 months ago
2007
Abstract. We report on a case study in applying different formal methods to model and verify an architecture for administrating digital signatures. The architecture comprises seve...
175
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
We propose novel algorithms for organizing large image and video datasets using both the visual content and the associated sideinformation, such as time, location, authorship, and...
184
click to vote
CVPR
2008
IEEE
16 years 9 months ago
2008
IEEE
An important problem in image labeling concerns learning with images labeled at varying levels of specificity. We propose an approach that can incorporate images with labels drawn...
208
click to vote
ICPR
2004
IEEE
16 years 8 months ago
2004
IEEE
In this paper a composite framework for collaborative working is presented. The framework includes real-time motion tracking based on computer vision from standard webcams situate...
159
click to vote
ECTEL
2007
Springer
16 years 1 months ago
2007
Springer
Interaction analysis within online educational contexts based on collaborative learning strategies requires a multidimensional model taking into account social, emotional and cogni...