4476 search results - page 750 / 896 » A flexible framework for engineering |
185
click to vote
Publication
In this note, improvements to the non-local means
image denoising method introduced in [2], [3] are presented.
The original non-local means method replaces a noisy pixel by
the ...
173
click to vote
CISIS
2009
IEEE
15 years 11 months ago
2009
IEEE
Appropriate use of group consensus on service consumers’ QoS opinions can improve web service discovery. Web service participants with different backgrounds or preferences may n...
178
click to vote
PPAM
2001
Springer
15 years 11 months ago
2001
Springer
This paper presents an overview of pARMS, a package for solving sparse linear systems on parallel platforms. Preconditioners constitute the most important ingredient in the solutio...
195
click to vote
VLDB
2001
ACM
15 years 11 months ago
2001
ACM
XML has emerged as the standard data exchange format for Internet-based business applications. This has created the need to publish existing business data, stored in relational da...
188
click to vote
TPHOL
2000
IEEE
15 years 10 months ago
2000
IEEE
Theorem provers for higher-order logics often use tactics to implement automated proof search. Tactics use a general-purpose metalanguage to implement both general-purpose reasonin...