Sciweavers

3303 search results - page 278 / 661
» Multidimensional Access Methods
Sort
View
FIMH
2005
Springer
16 years 5 days ago
Supporting the TECAB Grafting Through CT Based Analysis of Coronary Arteries
Calcified coronary arteries can cause severe cardiac problems and may provoke an infarction of the heart’s wall. An established treatment method is the bypass operation. The usa...
Stefan Wesarg
PROFES
2004
Springer
16 years 2 min ago
Development of a Normative Package for Safety-Critical Software Using Formal Regulatory Requirements
Abstract. The important tasks in requirement engineering are resolving requirements inconsistencies between regulators and developers of safety-critical computer systems, and the v...
Sergiy A. Vilkomir, Aditya K. Ghose
VLDB
1993
ACM
152views Database» more  VLDB 1993»
15 years 10 months ago
Declustering Objects for Visualization
In this paper we propose a new declustering method which is particularly suitable for image and cartographic databases used for visualization. Our declustering method is based on ...
Ling Tony Chen, Doron Rotem
CHI
2010
ACM
15 years 8 months ago
Hands free mouse: comparative study on mouse clicks controlled by humming
In this paper we present a novel method of simulating mouse clicks while the cursor is navigated by head movements tracked by webcam. Our method is based on simple hummed voice co...
OndYej Poláek, Zdenk Mikovec
CATS
2008
15 years 8 months ago
Verifying Michael and Scott's Lock-Free Queue Algorithm using Trace Reduction
Lock-free algorithms have been developed to avoid various problems associated with using locks to control access to shared data structures. These algorithms are typically more int...
Lindsay Groves