2771 search results - page 316 / 555 » Advances in Document Engineering |
164
click to vote
ASPDAC
2004
ACM
16 years 1 days 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 ...
184
click to vote
ERLANG
2004
ACM
16 years 1 days 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...
164
click to vote
SEKE
2004
Springer
15 years 12 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...
172
click to vote
UIST
2003
ACM
15 years 12 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 ...
184
click to vote
PODS
2010
ACM
15 years 11 months ago
2010
ACM
There are major trends to advance the functionality of search engines to a more expressive semantic level. This is enabled by the advent of knowledge-sharing communities such as W...