5671 search results - page 964 / 1135 » A Semantic Approach to Interpolation |
162
click to vote
PLDI
2010
ACM
15 years 11 months ago
2010
ACM
Programming language specifications mandate static and dynamic analyses to preclude syntactic and semantic errors. Although individual languages are usually well-specified, comp...
172
click to vote
BMAS
2000
IEEE
15 years 11 months ago
2000
IEEE
Verilog-AMS is one of the major mixed-signal hardware description languages on today’s market. In addition to the extended capabilities to model analog and digital behavior, the...
189
click to vote
CIKM
2008
Springer
15 years 8 months ago
2008
Springer
This paper addresses the challenging problem of similarity search over widely distributed ultra-high dimensional data. Such an application is retrieval of the top-k most similar d...
186
click to vote
MIR
2010
ACM
15 years 8 months ago
2010
ACM
This paper presents a classification-driven biomedical image retrieval system to bride the semantic gap by transforming image features to their global categories at different gran...
174
click to vote
ESOP
2008
Springer
15 years 8 months ago
2008
Springer
In an optimistic approach to security, one can often simplify protocol design by relying on audit logs, which can be analyzed a posteriori. Such auditing is widely used in practice...