4460 search results - page 521 / 892 » Formal methods for interactive systems |
196
click to vote
ACHI
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper, we present NALP (Navigating Assistant using Laser Pointer), a novel interaction technique for large display presentation control. NALP is based on laser dot detecti...
178
click to vote
RECOMB
2000
Springer
15 years 10 months ago
2000
Springer
DNA hybridization arrays simultaneously measure the expression level for thousands of genes. These measurements provide a "snapshot" of transcription levels within the c...
137
click to vote
CVPR
2008
IEEE
16 years 8 months ago
2008
IEEE
We present fast 3D surface registration methods for inhand modeling. This allows users to scan complete objects swiftly by simply turning them around in front of the scanner. The ...
174
click to vote
IV
2007
IEEE
16 years 1 months ago
2007
IEEE
The evaluation of Information Visualization (InfoVis) techniques can help to identify specific strengths and weaknesses of these methods. The following article describes the resu...
225
click to vote
IROS
2006
IEEE
16 years 22 days ago
2006
IEEE
– The advancement of multimedia services including audio/visual media has been rapid. The applications of cellular phones, in particular, have increased by using these technologi...