930 search results - page 92 / 186 » Advanced Engineering Informatics |
ASPDAC
2004
ACM
14 years 2 months ago
2004
ACM
Many important tasks in circuit design and verification can be performed in practice via reductions to Boolean Satisfiability (SAT), making SAT a fundamental EDA problem. However ...
ERLANG
2004
ACM
14 years 2 months ago
2004
ACM
Testing of software components during development is a heavily used approach to detect programming errors and to evaluate the quality of software. Systematic approaches to softwar...
UIST
2004
ACM
14 years 2 months ago
2004
ACM
We present radial scroll, an interface widget to support scrolling particularly on either small or large scale touch displays. Instead of dragging a elevator in a scroll bar, or u...
SEKE
2004
Springer
14 years 2 months ago
2004
Springer
Designers need guidance in tracing knowledge to support the iterative development of interactive software interfaces. Claims show promise in capturing design knowledge with concis...
UIST
2003
ACM
14 years 2 months ago
2003
ACM
Recent advances in sensing technology have enabled a new generation of tabletop displays that can sense multiple points of input from several users simultaneously. However, apart ...