562 search results - page 59 / 113 » On theoretical backgrounds of CAD |
ICDS
2008
IEEE
14 years 2 months ago
2008
IEEE
Since digital HDTV has made an entrance in the Netherlands, ‘HD ready’ TV sets are sold and HDTV cable subscription services are available. In contrast, no Dutch TV channel of...
DATE
2005
IEEE
14 years 1 months ago
2005
IEEE
A technique for evaluating noise figure suitable for BIST implementation is described. It is based on a low cost single-bit digitizer, which allows the simultaneous evaluation of ...
ASP
2005
Springer
14 years 1 months ago
2005
Springer
This paper outlines a novel approach to the computation of answer sets in an evolving and interactive environment. Instead of recomputing the semantics of the entire program, our a...
ECLIPSE
2004
ACM
14 years 1 months ago
2004
ACM
This paper describes our effort on developing educational materials on model checking to help foster the adoption of software model checking. We describe the course materials tha...
ADVIS
2000
Springer
14 years 1 days ago
2000
Springer
This paper focuses on fundamental similarities between proposing links for hypertexts and predicting user-requests. It briefly outlines the theoretical background of both categorie...