8669 search results - page 1653 / 1734 » Computing matrix representations |
120
click to vote
FOCS
2003
IEEE
15 years 6 months ago
2003
IEEE
We introduce a unifying framework for proving that predicate P is hard-core for a one-way function f, and apply it to a broad family of functions and predicates, reproving old res...
106
click to vote
IPPS
2003
IEEE
15 years 6 months ago
2003
IEEE
The pre-computation of data cubes is critical to improving the response time of On-Line Analytical Processing (OLAP) systems and can be instrumental in accelerating data mining tas...
128
click to vote
GRAPHITE
2003
ACM
15 years 6 months ago
2003
ACM
This paper shows that scattered range data can be smoothed at low cost by fitting a Radial Basis Function (RBF) to the data and convolving with a smoothing kernel (low pass filt...
123
click to vote
PLDI
2003
ACM
15 years 6 months ago
2003
ACM
Typed assembly languages provide a way to generate machinecheckable safety proofs for machine-language programs. But the soundness proofs of most existing typed assembly languages...
ATAL
2003
Springer
15 years 6 months ago
2003
Springer
The emerging science of simulation enables us to explore the dynamics of large and complex systems even if a formal representation and analysis of the system is intractable and a ...