3130 search results - page 111 / 626 » Design Correctness of Digital Systems |
115
click to vote
ICCD
1992
IEEE
15 years 7 months ago
1992
IEEE
ct Digital's NVAX high-performance microprocessor has a complex logical design. A rigorous simulation-based verification effort was undertaken to ensure that there were no log...
121
Voted
JCDL
2009
ACM
15 years 10 months ago
2009
ACM
Journals, letters, and other writings are of great value to historians and those who research their own family history; however, it can be difficult to find writings by specific...
149
Voted
WWW
2006
ACM
16 years 4 months ago
2006
ACM
In this poster we present an approach to query answering over knowledge sources that makes use of different ontology management components within an application scenario of the BT...
185
Voted
IRCDL
2008
15 years 5 months ago
2008
In this paper we present a prototype system to enrich audiovisual contents with annotations, which exploits existing technologies for automatic extraction of metadata (such as OCR...
124
click to vote
CHI
2009
ACM
15 years 8 months ago
2009
ACM
Mobile imaging and digital storytelling currently support a growing practice of multimedia communication in the West. In this paper we describe a project which explores their bene...