Sciweavers

1611 search results - page 42 / 323
» A Library for Self-Adjusting Computation
Sort
View

Source Code
1763views
16 years 10 months ago
dlib C++ Library
A library for developing portable applications that deal with networking, threads (message passing, futures, etc...), graphical interfaces, complex data structures, linear algebra,...
Davis E. King
148
Voted

Source Code
1499views
16 years 9 months ago
Bullet - 3D Game Multiphysics Library
Bullet 3D Game is a modular extendible C++ Multiphysics Library that provides the state of the art collision detection, soft body, and rigid body dynamics.
IPPS
2000
IEEE
15 years 6 months ago
A General Parallel Simulated Annealing Library and its Application in Airline Industry
To solve real-world discrete optimization problems approximately metaheuristics such as simulated annealing and other local search methods are commonly used. For large instances o...
Georg Kliewer, Stefan Tschöke
DAGSTUHL
2008
15 years 3 months ago
Theory of Real Computation According to EGC
The Exact Geometric Computation (EGC) mode of computation has been developed over the last decade in response to the widespread problem of numerical non-robustness in geometric al...
Chee-Keng Yap
CORR
2006
Springer
102views Education» more  CORR 2006»
15 years 1 months ago
A library of Taylor models for PVS automatic proof checker
We present in this paper a library to compute with Taylor models, a technique extending interval arithmetic to reduce decorrelation and to solve differential equations. Numerical s...
Francisco Cháves, Marc Daumas