Sciweavers

3116 search results - page 239 / 624
» Positively dependent types
Sort
View
ICRA
2005
IEEE
113views Robotics» more  ICRA 2005»
15 years 12 months ago
Design Considerations for Robotic Needle Steering
— Many medical procedures involve the use of needles, but targeting accuracy can be limited due to obstacles in the needle’s path, shifts in target position caused by tissue de...
Robert J. Webster III, Jasenka Memisevic, Allison ...
IWIA
2005
IEEE
15 years 11 months ago
Forensic Analysis of File System Intrusions Using Improved Backtracking
Intrusion detection systems alert the system administrators of intrusions but, in most cases, do not provide details about which system events are relevant to the intrusion and ho...
Sriranjani Sitaraman, Subbarayan Venkatesan
AFRIGRAPH
2004
ACM
15 years 11 months ago
Impact of large displays on virtual reality task performance
A better understanding of how users perform virtual reality tasks may help to build better virtual reality interfaces. In this study, we concentrate on the impact of large display...
Florence Tyndiuk, V. Lespinet-Najib, Gwenola Thoma...
AINA
2009
IEEE
15 years 11 months ago
Effects of On-path Buffering on TCP Fairness
Keeping router buffering low helps minimise delay (as well as keeping router costs low), whilst increasing buffering minimises loss. This is a trade-off for which there is no sing...
Saleem N. Bhatti, Martin Bateman
COLCOM
2009
IEEE
15 years 11 months ago
DiSK: A distributed shared disk cache for HPC environments
Abstract—Data movement within high performance environments can be a large bottleneck to the overall performance of programs. With the addition of continuous storage and usage of...
Brandon Szeliga, Tung Nguyen, Weisong Shi