Sciweavers

490 search results - page 48 / 98
» Practical Extensions to the IFDS Algorithm
Sort
View
DLT
2003
13 years 10 months ago
Boolean Grammars
A new generalization of context-free grammars is introduced: Boolean grammars allow the use of all set-theoretic operations as an integral part of the formalism of rules. Rigorous...
Alexander Okhotin
FGCS
1992
107views more  FGCS 1992»
13 years 10 months ago
Logic Programming, Abduction and Probability
Probabilistic Horn abduction is a simple framework to combine probabilistic and logical reasoning into a coherent practical framework. The numbers can be consistently interpreted ...
David Poole
CORR
2008
Springer
125views Education» more  CORR 2008»
13 years 9 months ago
Simultaneous Modular Reduction and Kronecker Substitution for Small Finite Fields
We present algorithms to perform modular polynomial multiplication or modular dot product efficiently in a single machine word. We pack polynomials into integers and perform sever...
Jean-Guillaume Dumas, Laurent Fousse, Bruno Salvy
TITB
2008
106views more  TITB 2008»
13 years 8 months ago
A Novel Software Platform for Medical Image Processing and Analyzing
The design of software platform for medical imaging application has been increasingly prioritized as the sophisticated application of medical imaging. With this demand, we have des...
Jie Tian, Jian Xue, Yakang Dai, Jian Chen, Jian Zh...
CG
2000
Springer
13 years 8 months ago
Light propagation visualization as a tool for 3D scene analysis in lighting design
This paper is devoted to a designer tool, which is an extension of particle tracing algorithm for analysis of scenes, artifacts, image ghosts, and ray tracing mechanism itself. Th...
Edward A. Kopylov, Kirill Dmitriev