Sciweavers

6014 search results - page 535 / 1203
» Structural Testing with Use Cases
Sort
View
CONCUR
2006
Springer
15 years 10 months ago
A Livelock Freedom Analysis for Infinite State Asynchronous Reactive Systems
We describe an incomplete but sound and efficient livelock freedom test for infinite state asynchronous reactive systems. The method s a system into a set of simple control flow cy...
Stefan Leue, Alin Stefanescu, Wei Wei
VR
2010
IEEE
185views Virtual Reality» more  VR 2010»
15 years 5 months ago
Exploiting change blindness to expand walkable space in a virtual environment
We present a technique for exploiting change blindness to allow the user to walk through an immersive virtual environment that is much larger than the available physical workspace...
Evan A. Suma, Seth Clark, Samantha L. Finkelstein,...
HICSS
2005
IEEE
163views Biometrics» more  HICSS 2005»
16 years 20 days ago
Survey of Strategic Alignment Impacts on Organizational Performance in International European Companies
act The strategic use of technology based information systems (IS/IT) is a fundamental issue for every business. This is particularly true in the case of firms that engage in inter...
Hajer Kefi, Michel Kalika
ISBI
2002
IEEE
16 years 7 months ago
Classifying convex sets for vessel detection in retinal images
We present a method to detect vessels in images of the retina. Instead of relying on pixel classification, as many detection algorithms do, we propose a more natural representatio...
Joes Staal, Stiliyan Kalitzin, Michael D. Abr&agra...
ICCV
2005
IEEE
16 years 20 days ago
Resolving Hand over Face Occlusion
Abstract. This paper presents a method to segment the hand over complex backgrounds, such as the face. The similar colors and texture of the hand and face make the problem particul...
Paul Smith, Niels da Vitoria Lobo, Mubarak Shah