Sciweavers

2333 search results - page 119 / 467
» Recursive Computational Depth
Sort
View
CTRS
1992
14 years 1 months ago
Path Orderings for Termination of Associative-Commutative Rewriting
We show that a simple, and easily implementable, restriction on the recursive path ordering, which we call the "binary path condition," sufficesfor establishing terminat...
Nachum Dershowitz, Subrata Mitra
IC
2003
13 years 10 months ago
Marshalgen: A Package for Semi-Automatic Marshaling of Objects
Abstract— Marshaling or serialization of objects is an important component of both distributed and parallel computing. Current systems impose a significant burden on the program...
Gene Cooperman, Ning Ke, Huanmei Wu
CAP
2010
13 years 4 months ago
Parallel operations of sparse polynomials on multicores: I. multiplication and Poisson bracket
The multiplication of the sparse multivariate polynomials using the recursive representations is revisited to take advantage on the multicore processors. We take care of the memor...
Mickaël Gastineau
ICIP
2002
IEEE
14 years 11 months ago
A MAP IIR filter for 3D ultrasound
Bayesian reconstruction methods are slow and have been avoided in 3D ultrasound, since fast algorithms are required. This paper tries to overcome this difficulty by presenting a f...
João M. Sanches, Jorge S. Marques
SIGMOD
2011
ACM
204views Database» more  SIGMOD 2011»
13 years 4 days ago
Datalog and emerging applications: an interactive tutorial
We are witnessing an exciting revival of interest in recursive Datalog queries in a variety of emerging application domains such as data integration, information extraction, netwo...
Shan Shan Huang, Todd Jeffrey Green, Boon Thau Loo