1851 search results - page 194 / 371 » Open Source AI |
137
Voted
EUROSYS
2011
ACM
14 years 7 months ago
2011
ACM
We present an effective technique for crosschecking an IEEE 754 floating-point program and its SIMD-vectorized version, implemented in KLEE-FP, an extension to the KLEE symbolic ...
126
Voted
EDBT
2012
ACM
13 years 6 months ago
2012
ACM
In this paper we review the history of systems for managing “Big Data” as well as today’s activities and architectures from the (perhaps biased) perspective of three “data...
248
click to vote
Source Code
NETGEN is an open source automatic mesh generation tool for two and three dimensions. It comes as a stand alone program with graphical user interface, or as a C++ library to be lin...
123
Voted
ICCV
2001
IEEE
16 years 5 months ago
2001
IEEE
There is general consensus that context can be a rich source of information about an object's identity, location and scale. However, the issue of how to formalize contextual ...
229
Voted
ICDE
2009
IEEE
16 years 5 months ago
2009
IEEE
We introduce a framework for reordering join pipelines at runtime in a database system. This framework incorporates novel techniques for simulating the execution of a join pipeline...