14386 search results - page 419 / 2878 » Algorithms for user interfaces |
184
click to vote
TACAS
2000
Springer
15 years 10 months ago
2000
Springer
This note describes Proof General, a tool for developing machine proofs with an interactive proof assistant. Interaction is based around a proof script, which is the target of a pr...
187
click to vote
MVA
1990
15 years 8 months ago
1990
In this paper, we describe a commercial vision system for the digitisation and extraction of horizons drawn with coloured pencils on seismic sections. The system combines image pr...
172
click to vote
MMM
2008
Springer
16 years 1 months ago
2008
Springer
From cartoons to medical research world, from the field of arts to scientific visualization, everyone related to these areas have been continuously using 3D motion capture data. Qu...
233
click to vote
HT
2005
ACM
16 years 12 days ago
2005
ACM
The dissemination of information available through the World Wide Web makes universal access more and more important and supports visually disabled people in their everyday life. ...
180
click to vote
ARCS
2004
Springer
16 years 7 days ago
2004
Springer
In a pervasive computing environment, one is facing the problem of handling heterogeneous data from different sources, transmitted over heterogeneous channels and presented on het...