3387 search results - page 568 / 678 » Model-Checking for Real-Time Systems |
119
Voted
COMPUTER
2000
15 years 17 days ago
2000
hysical world. How do you adapt software abstractions designed merely to transform data to meet requirements like real-time constraints, concurrency, and stringent safety considera...
102
Voted
JASIS
2011
14 years 7 months ago
2011
Twitter, Facebook, and other related systems that we call social awareness streams are rapidly changing the information and communication dynamics of our society. These systems, w...
141
click to vote
SI3D
2012
ACM
13 years 8 months ago
2012
ACM
In Virtual Environments (VE), users are often facing tasks that involve direct manipulation of virtual objects at close distances, such as touching, grabbing, placement. In immers...
119
Voted
VIS
2007
IEEE
16 years 2 months ago
2007
IEEE
The effectiveness of direct volume rendering is difficult to validate and users may not know whether they have successfully explored the data or not. This limits its applications....
112
Voted
ISBI
2006
IEEE
16 years 1 months ago
2006
IEEE
This paper describes the development and application of methods to integrate research image analysis methods and software with a commercial image guided surgery navigation system ...