877 search results - page 44 / 176 » Structural Cut Elimination |
ICEIS
2007
IEEE
14 years 1 months ago
2007
IEEE
The Xequiv algorithm determines when two XML schemas are equivalent based on their structural organization. It calculates the percentages of schema inclusion in another schema by ...
BC
2005
13 years 7 months ago
2005
The nonlinear prediction method based on the interspike interval (ISI) reconstruction is applied to the ISI sequence of noisy pulse trains and the detection of the deterministic st...
ICIP
2000
IEEE
14 years 9 months ago
2000
IEEE
In thispapel; the reduction of inherent ambiguities in StructurefromMotion(SW)using inertialdata isaddressed. First, we show that the translation-rotation ambiguity inS'from ...
TCAD
2008
13 years 7 months ago
2008
BDDs have proven to be an efficient means to represent and manipulate Boolean formulae [1] and sets [2] due to their compactness and canonicality. In this work, we leverage the eff...
JUCS
2008
13 years 7 months ago
2008
: Functional programs often combine separate parts of the program using intermediate data structures for communicating results. Programs so defined are easier to understand and mai...