520 search results - page 30 / 104 » Implementing a Generalized Version of Resolution |
106
click to vote
GPCE
2007
Springer
15 years 7 months ago
2007
Springer
Multiple dispatch – the selection of a function to be invoked based on the dynamic type of two or more arguments – is a solution to several classical problems in object-orient...
110
click to vote
STACS
2010
Springer
15 years 8 months ago
2010
Springer
Reachability and shortest path problems are NL-complete for general graphs. They are known to be in L for graphs of tree-width 2 [14]. However, for graphs of treewidth larger than ...
104
click to vote
SIAMAM
2002
15 years 1 months ago
2002
The theory of periodic wavelet transforms presented here was originally developed to deal with the problem of epileptic seizure prediction. A central theorem in the theory is the c...
114
click to vote
COMPGEOM
2006
ACM
15 years 7 months ago
2006
ACM
We describe an implementation of a compact parallel algorithm for 3D Delaunay tetrahedralization on a 64-processor shared-memory machine. Our algorithm uses a concurrent version o...
115
click to vote
BMCBI
2010
15 years 1 months ago
2010
Background: Image analysis is an essential component in many biological experiments that study gene expression, cell cycle progression, and protein localization. A protocol for tr...