Sciweavers

5435 search results - page 835 / 1087
» Informed Detection Revisited
Sort
View
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
223
Voted
KESAMSTA
2009
Springer
15 years 11 months ago
Structural Changes in an Email-Based Social Network
ent Artificial Immune Systems (MAAIS) for Intrusion Detection: Abstraction from Danger Theory Chung-Ming Ou, C.R. Ou Ants-like Agents: a Model and Analysis Based on Natural Ants Be...
Krzysztof Juszczyszyn, Katarzyna Musial