601 search results - page 14 / 121 » Quantified Equality Constraints |
LICS
2010
IEEE
13 years 8 months ago
2010
IEEE
—There are two usual ways to describe equality in a dependent typing system, one that uses an external notion of computation like beta-reduction, and one that introduces a typed ...
CADE
2004
Springer
14 years 3 months ago
2004
Springer
The paper presents a modular superposition calculus for the combination of first-order theories involving both total and partial functions. Modularity means that inferences are pu...
ICASSP
2011
IEEE
13 years 1 months ago
2011
IEEE
An auto-relation aided multiple-input/output inverse filtering algorithm (A-RAM) is proposed for the inverse filtering of room acoustics in speech dereverberation. In A-RAM, we ...
TIP
2010
13 years 4 months ago
2010
We develop two new algorithms for tomographic reconstruction which incorporate the technique of equally-sloped tomography (EST) and allow for the optimized and flexible implementat...
EMSOFT
2004
Springer
14 years 3 months ago
2004
Springer
One central issue in system structuring and quality prediction is the interdependencies of system modules. This paper proposes a novel technique for determining the operational co...