1820 search results - page 61 / 364 » Generic Graphical User Interfaces |
86
Voted
GREC
2003
Springer
15 years 7 months ago
2003
Springer
This paper presents a vectorisation system based on the use of strategic knowledge. This one is composed of two parts: a processing library and a graphic user interface. Our proces...
146
Voted
CHI
2009
ACM
14 years 11 months ago
2009
ACM
Natural user interfaces (NUI) such as multitouch and surface computing are positioned as the next major evolution in computing and user interfaces. Just graphical user interfaces ...
120
Voted
TACAS
2000
Springer
15 years 5 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...
85
Voted
CORR
2008
Springer
15 years 1 months ago
2008
Springer
The Semantic Web is becoming more and more a reality, as the required technologies have reached an appropriate level of maturity. However, at this stage, it is important to provid...
UIST
2004
ACM
15 years 7 months ago
2004
ACM
Involving graphic designers in the large-scale development of user interfaces requires tools that provide more graphical flexibility and support efficient software processes. Th...