6770 search results - page 1057 / 1354 » How GPUs Work |
132
Voted
FMCAD
2006
Springer
15 years 6 months ago
2006
Springer
We describe a link between the ACL2 and HOL mechanical proof assistants that enables the strengths of each system to be deployed smoothly within a single formal development. Severa...
FPGA
2006
ACM
15 years 6 months ago
2006
ACM
Many System-on-a-Chip devices would benefit from the inclusion of reprogrammable logic on the silicon die, as it can add general computing ability, provide run-time reconfigurabil...
103
click to vote
ALT
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. A crucial problem in machine learning is to choose an appropriate representation of data, in a way that emphasizes the relations we are interested in. In many cases this ...
159
click to vote
COMPGEOM
2001
ACM
15 years 6 months ago
2001
ACM
The treatment of curved algebraic surfaces becomes more and more the focus of attention in Computational Geometry. We present a video that illustrates the computation of the conve...
126
Voted
ISMIS
2000
Springer
15 years 6 months ago
2000
Springer
A learned lesson, in the context of a pre-defined organizational process, summarizes an experience that should be used to modify that process, under the conditions for which that l...