Sciweavers

10848 search results - page 1755 / 2170
» Programming in Biomolecular Computation
Sort
View
AC
2008
Springer
15 years 7 months ago
Distributed Sparse Matrices for Very High Level Languages
Sparse matrices are first class objects in many VHLLs (very high level languages) used for scientific computing. They are a basic building block for various numerical and combinat...
John R. Gilbert, Steve Reinhardt, Viral Shah
AMAI
2007
Springer
15 years 7 months ago
Decision procedures for extensions of the theory of arrays
The theory of arrays, introduced by McCarthy in his seminal paper “Toward a mathematical science of computation”, is central to Computer Science. Unfortunately, the theory alo...
Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, D...
AUTOMATICA
2007
124views more  AUTOMATICA 2007»
15 years 7 months ago
Motion planning in uncertain environments with vision-like sensors
In this work we present a methodology for intelligent path planning in an uncertain environment using vision like sensors, i.e., sensors that allow the sensing of the environment ...
Suman Chakravorty, John L. Junkins
CGF
2010
117views more  CGF 2010»
15 years 7 months ago
SafeGI: Type Checking to Improve Correctness in Rendering System Implementation
Historically, rendering system development has been mainly focused on improving the numerical accuracy of the rendering algorithms and their runtime efficiency. In this paper, we ...
Jiawei Ou, Fabio Pellacini
CORR
2008
Springer
86views Education» more  CORR 2008»
15 years 7 months ago
Design by Measure and Conquer, A Faster Exact Algorithm for Dominating Set
The measure and conquer approach has proven to be a powerful tool to analyse exact algorithms for combinatorial problems, like Dominating Set and Independent Set. In this paper, we...
Johan M. M. van Rooij, Hans L. Bodlaender
« Prev « First page 1755 / 2170 Last » Next »