Sciweavers

1368 search results - page 227 / 274
» Understanding Software Systems Using Reverse Engineering Tec...
Sort
View
CAV
2010
Springer
197views Hardware» more  CAV 2010»
15 years 5 months ago
Abstract Analysis of Symbolic Executions
Analysis of Symbolic Executions Aws Albarghouthi1 , Arie Gurfinkel2 , Ou Wei1,3 , and Marsha Chechik1 1 Department of Computer Science, University of Toronto, Canada 2 Software Eng...
Aws Albarghouthi, Arie Gurfinkel, Ou Wei, Marsha C...
AFRIGRAPH
2001
ACM
15 years 6 months ago
A gesture processing framework for multimodal interaction in virtual reality
This article presents a gesture detection and analysis framework for modelling multimodal interactions. It is particulary designed for its use in Virtual Reality (VR) applications...
Marc Erich Latoschik
CLEF
2009
Springer
15 years 7 days ago
Overview of the CLEF 2009 Medical Image Annotation Track
This paper describe the last round of the medical image annotation task in ImageCLEF 2009. After four years, we defined the task as a survey of all the past experience. Seven grou...
Tatiana Tommasi, Barbara Caputo, Petra Welter, Mar...
WETICE
2008
IEEE
15 years 8 months ago
An Architecture for an Adaptive and Collaborative Learning Management System in Aviation Security
The importance of aviation security has increased dramatically in recent years. Frequently changing regulations and the need to adapt quickly to new and emerging threats are chall...
Yi Guo, Adrian Schwaninger, Harald Gall
EMSOFT
2005
Springer
15 years 8 months ago
High-level real-time programming in Java
Real-time systems have reached a level of complexity beyond the scaling capability of the low-level or restricted languages traditionally used for real-time programming. While Met...
David F. Bacon, Perry Cheng, David Grove, Michael ...