8190 search results - page 336 / 1638 » From Timed to Hybrid Systems |
220
Voted
SIGGRAPH
1996
ACM
15 years 11 months ago
1996
ACM
We present a real-time stereoscopic video-see-through augmented reality (AR) system applied to the medical procedure known as ultrasound-guided needle biopsy of the breast. The AR...
175
click to vote
NLE
2008
15 years 6 months ago
2008
This paper describes clime, a web-based legal advisory system with a multilingual natural language interface. clime is a `proof-of-concept' system which answers queries relat...
180
click to vote
GIAE
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. The RifSimp package in Maple transforms a set of differential equations to Reduced Involutive Form. This paper describes the application of RifSimp to challenging real-w...
177
click to vote
ASPLOS
2010
ACM
16 years 1 months ago
2010
ACM
The behavior of a multithreaded program does not depend only on its inputs. Scheduling, memory reordering, timing, and low-level hardware effects all introduce nondeterminism in t...
282
click to vote
ICS
2007
Tsinghua U.
16 years 29 days ago
2007
Tsinghua U.
Increased complexity of memory systems to ameliorate the gap between the speed of processors and memory has made it increasingly harder for compilers to optimize an arbitrary code...