Sciweavers

6812 search results - page 1117 / 1363
» Detection of Information Flows
Sort
View
MM
2004
ACM
142views Multimedia» more  MM 2004»
16 years 25 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...
HAPTICS
2003
IEEE
16 years 21 days 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
16 years 19 days 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
16 years 19 days 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»
16 years 19 days 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 »