Sciweavers

634 search results - page 11 / 127
» Completion Procedures as Semidecision Procedures
Sort
View
ISI
2006
Springer
13 years 7 months ago
Computational Modeling and Experimental Validation of Aviation Security Procedures
Security of civil aviation has become a major concern in recent years, leading to a variety of protective measures related to airport and aircraft security to be established by re...
Uwe Glässer, Sarah Rastkar, Mona Vajihollahi
ISBI
2002
IEEE
14 years 8 months ago
A fully automatic calibration procedure for freehand 3D ultrasound
This paper describes a novel method for calibration of freehand three-dimensional (3D) ultrasound. A position sensor is mounted on a conventional ultrasound probe, thus the set of...
François Rousseau, Pierre Hellier, Christia...
CHI
2007
ACM
14 years 7 months ago
Vio: a mixed-initiative approach to learning and automating procedural update tasks
Today many workers spend too much of their time translating their co-workers' requests into structures that information systems can understand. This paper presents the novel ...
John Zimmerman, Anthony Tomasic, Isaac Simmons, Ia...
MICRO
1998
IEEE
75views Hardware» more  MICRO 1998»
13 years 11 months ago
Improving Prediction for Procedure Returns with Return-address-stack Repair Mechanisms
This paper evaluates several mechanisms for repairing the return-address stack after branch mispredictions. The return-address stack is a small but important structure for achievi...
Kevin Skadron, Pritpal S. Ahuja, Margaret Martonos...
HIS
2004
13 years 8 months ago
GAP Test: A Cognitive Evaluation Procedure for Shape Descriptors
With inspiration from psychophysical researches of the human visual system we propose a novel method for performance evaluation of contour based shape recognition algorithms. We u...
Anarta Ghosh, Nicolai Petkov