Sciweavers

5365 search results - page 954 / 1073
» Hierarchical Information Maps
Sort
View
IPCAI
2010
14 years 3 days ago
Visualization and Planning of Neurosurgical Interventions with Straight Access
Image-guided neurosurgical interventional procedures utilize medical imaging techniques to identify the most appropriate path for accessing a targeted structure. Often, preoperativ...
Nikhil V. Navkar, Nikolaos V. Tsekos, R. Jason Sta...
APSCC
2006
IEEE
14 years 2 days ago
GlobalWatch: A Distributed Service Grid Monitoring Platform with High Flexibility and Usability
GlobalWatch is a distributed platform to monitor various resources of grid platforms so as to improve the flexibility and usability of grid systems. In order to enhance the flexib...
Sheng Di, Hai Jin, Shengli Li, Ling Chen, Chengwei...
CODES
2008
IEEE
13 years 12 months ago
Model checking SystemC designs using timed automata
SystemC is widely used for modeling and simulation in hardware/software co-design. Due to the lack of a complete formal semantics, it is not possible to verify SystemC designs. In...
Paula Herber, Joachim Fellmuth, Sabine Glesner
ESWS
2008
Springer
13 years 12 months ago
Ontology-based Disambiguation of Spatiotemporal Locations
Abstract. Geographic place names are semantically often highly ambiguous. For example, there are 491 places in Finland sharing the same name "Isosaari" (great island) tha...
Tomi Kauppinen, Riikka Henriksson, Reetta Sinkkil&...
EWRL
2008
13 years 12 months ago
New Error Bounds for Approximations from Projected Linear Equations
We consider linear fixed point equations and their approximations by projection on a low dimensional subspace. We derive new bounds on the approximation error of the solution, whi...
Huizhen Yu, Dimitri P. Bertsekas