Sciweavers

144 search results - page 26 / 29
» Automatic Detection of Design Problems in Object-Oriented Re...
Sort
View
ECCV
2008
Springer
14 years 9 months ago
Scene Segmentation for Behaviour Correlation
Abstract. This paper presents a novel framework for detecting abnormal pedestrian and vehicle behaviour by modelling cross-correlation among different co-occurring objects both loc...
Jian Li, Shaogang Gong, Tao Xiang
ADAEUROPE
2009
Springer
14 years 2 months ago
An Experience on Ada Programming Using On-Line Judging
Abstract. Ada has proved to be one of the best languages to learn computer programming. Nevertheless, learning to program is difficult and when it is combined with lack of motivati...
Francisco J. Montoya-Dato, José Luis Fern&a...
ECBS
2010
IEEE
209views Hardware» more  ECBS 2010»
14 years 5 days ago
Continuous Verification of Large Embedded Software Using SMT-Based Bounded Model Checking
The complexity of software in embedded systems has increased significantly over the last years so that software verification now plays an important role in ensuring the overall pr...
Lucas Cordeiro, Bernd Fischer 0002, João Ma...
ATAL
2008
Springer
13 years 9 months ago
Extending virtual organizations to improve trust mechanisms
Virtual Organizations (VOs) are becoming an increasingly important research topic in the field of Multi-Agent Systems (MAS). The problem of selecting suitable counterparts to inte...
Ramón Hermoso, Roberto Centeno, Holger Bill...
ECCV
2006
Springer
13 years 9 months ago
Robust Head Tracking with Particles Based on Multiple Cues Fusion
This paper presents a fully automatic and highly robust head tracking algorithm based on the latest advances in real-time multi-view face detection techniques and multiple cues fus...
Yuan Li, Haizhou Ai, Chang Huang, Shihong Lao