Sciweavers

6812 search results - page 1117 / 1363
» Detection of Information Flows
Sort
View
MM
2004
ACM
142views Multimedia» more  MM 2004»
16 years 1 days ago
Parsing and browsing tools for colonoscopy videos
Colonoscopy is an important screening tool for colorectal cancer. During a colonoscopic procedure, a tiny video camera at the tip of the endoscope generates a video signal of the ...
Yu Cao, Dalei Li, Wallapak Tavanapong, Jung-Hwan O...
177
Voted
HAPTICS
2003
IEEE
15 years 12 months ago
Validity of Haptic Cues and Its Effect on Priming Visual Spatial Attention
This study investigated cross-modal links in attention between haptics and vision. A visual change-detection task was used as a measure of visual attention. Haptic taps on the bac...
J. Jay Young, Hong Z. Tan, Rob Gray
PLDI
2003
ACM
15 years 12 months ago
A type and effect system for atomicity
Ensuring the correctness of multithreaded programs is difficult, due to the potential for unexpected and nondeterministic interactions between threads. Previous work addressed th...
Cormac Flanagan, Shaz Qadeer
SI3D
2003
ACM
15 years 12 months ago
Large haptic topographic maps: marsview and the proxy graph algorithm
In this paper we develop an interactive 3D browser for large topographic maps using a visual display augmented by a haptic, or force feedback, display. The extreme size of our dat...
Sean P. Walker, John Kenneth Salisbury Jr.
TLDI
2003
ACM
121views Formal Methods» more  TLDI 2003»
15 years 12 months ago
Types for atomicity
Ensuring the correctness of multithreaded programs is difficult, due to the potential for unexpected and nondeterministic interactions between threads. Previous work has addresse...
Cormac Flanagan, Shaz Qadeer
« Prev « First page 1117 / 1363 Last » Next »