1284 search results - page 75 / 257 » On Helping and Interactive Proof Systems |
ICSE
2004
IEEE-ACM
14 years 11 months ago
2004
IEEE-ACM
To facilitate software maintenance and evolution, a helpful step is to locate features concerned in a particular maintenance task. In the literature, both dynamic and interactive ...
ASPDAC
2007
ACM
14 years 3 months ago
2007
ACM
Communication exploration has become a critical step during SoC design. Researchers in the CAD community have proposed fast and efficient techniques for comprehensive design space ...
BIBE
2004
IEEE
14 years 2 months ago
2004
IEEE
Large-scale biomedical data sets of macromolecular structures such as DNA and proteins describe highly complex biomolecular entities which often consist of thousands of atoms and ...
CORR
2008
Springer
13 years 9 months ago
2008
Springer
: This study examines the differences between Scopus and Web of Science in the citation counting, citation ranking, and h-index of 22 top human-computer interaction (HCI) researche...
AVI
2004
14 years 17 days ago
2004
Recent research and technology advances indicate that multiple monitor systems are likely to become commonplace in the near future. An important property of such systems is that t...