36320 search results - page 529 / 7264 » From Code to Models |
174
click to vote
LCTRTS
2000
Springer
15 years 10 months ago
2000
Springer
This paper presents a general approach to automatically validate code-improving transformations on low-level program representations. The approach ensures the correctness of compi...
170
click to vote
APPROX
2008
Springer
15 years 9 months ago
2008
Springer
A (q, , )-locally decodable code (LDC) C : {0, 1}n {0, 1}m is an encoding from n-bit strings to m-bit strings such that each bit xk can be recovered with probability at least 1 2 +...
150
click to vote
DGO
2003
15 years 8 months ago
2003
An objective of this research is to develop a framework for regulation management as well as for comparing regulations from multiple sources. An online repository for regulatory d...
216
click to vote
ICML
2010
IEEE
15 years 8 months ago
2010
IEEE
Hashing based Approximate Nearest Neighbor (ANN) search has attracted much attention due to its fast query time and drastically reduced storage. However, most of the hashing metho...
130
click to vote
TWC
2008
15 years 6 months ago
2008
This contribution deals with code-aided hypothesis testing for wireless digital receivers. We provide a theoretical justification for a hypothesis testing algorithm that was previo...