898 search results - page 167 / 180 » Making Documents Work: Challenges for Document Understanding |
122
click to vote
CCS
2011
ACM
13 years 11 months ago
2011
ACM
The complexity of modern web applications makes it difficult for developers to fully understand the security implications of their code. Attackers exploit the resulting security v...
115
click to vote
AVI
2010
15 years 1 months ago
2010
Advanced visual interfaces, like the ones found in informaualization, intend to offer a view on abstract data spaces to enable users to make sense of them. By mapping data to visu...
112
click to vote
DAC
2003
ACM
16 years 20 days ago
2003
ACM
We present an algorithm that checks behavioral consistency between an ANSI-C program and a circuit given in Verilog using Bounded Model Checking. Both the circuit and the program ...
121
click to vote
DAC
2004
ACM
16 years 20 days ago
2004
ACM
Parametric representations used for symbolic simulation of circuits usually use BDDs. After a few steps of symbolic simulation, state set representation is converted from one para...
WWW
2002
ACM
16 years 11 days ago
2002
ACM
The Semantic Web is a new layer of the Internet that enables semantic representation of the contents of existing web pages. Using common ontologies, human users sketch out the mos...