Sciweavers

11172 search results - page 1887 / 2235
» Testing Physical Systems
Sort
View
AGS
2009
Springer
16 years 26 days ago
Intelligent Agent Modeling as Serious Game
We propose a novel approach to intelligent tutoring gaming simulations designed for both educational and inquiry purposes in complex multi-actor systems such as infrastructures or...
D. W. F. van Krevelen
CIVR
2009
Springer
133views Image Analysis» more  CIVR 2009»
16 years 25 days ago
MonuAnno: automatic annotation of georeferenced landmarks images
Uploading tourist photographs is a popular activity on photo sharing platforms. The manual annotation of these images is a tedious process and the users often upload their images ...
Adrian Popescu, Pierre-Alain Moëllic
MHCI
2009
Springer
16 years 24 days ago
Automatic mobile menu customization based on user operation history
Mobile devices are becoming more and more difficult to use due to the sheer number of functions now supported. In this paper, we propose a menu customization system that ranks fun...
Yusuke Fukazawa, Mirai Hara, Masashi Onogi, Hideto...
168
Voted
KBSE
2007
IEEE
16 years 16 days ago
Assertion-based repair of complex data structures
Programmers have long used assertions to characterize properties of code. An assertion violation signals a corruption in the program state. At such a state, it is standard to term...
Bassem Elkarablieh, Ivan Garcia, Yuk Lai Suen, Sar...
CCS
2007
ACM
16 years 13 days ago
Predicting vulnerable software components
Where do most vulnerabilities occur in software? Our Vulture tool automatically mines existing vulnerability databases and version archives to map past vulnerabilities to componen...
Stephan Neuhaus, Thomas Zimmermann, Christian Holl...
« Prev « First page 1887 / 2235 Last » Next »