5499 search results - page 188 / 1100 » Generalized Rewrite Theories |
181
Voted
APPML
2010
15 years 5 months ago
2010
Some new results that provide refinements and reverses of the Cauchy-Bunyakovsky-Schwarz (CBS) -inequality in the general setting of Measure Theory and under some boundedness condi...
200
click to vote
CASC
2006
Springer
15 years 11 months ago
2006
Springer
Homological Perturbation Theory [11, 13] is a well-known general method for computing homology, but its main algorithm, the Basic Perturbation Lemma, presents, in general, high com...
188
click to vote
ICASSP
2010
IEEE
15 years 7 months ago
2010
IEEE
In pattern recognition, data integration is a processing method to combine multiple sources so that the combined result can be more accurate than a single source. Evidence theory ...
182
click to vote
ICFP
2008
ACM
16 years 7 months ago
2008
ACM
Self-adjusting programs respond automatically and efficiently to input changes by tracking the dynamic data dependences of the computation and incrementally updating the output as...
189
click to vote
KBSE
2005
IEEE
16 years 21 days ago
2005
IEEE
The Nix software deployment system is based on the paradigm of transparent source/binary deployment: distributors deploy descriptors that build components from source, while clien...