2302 search results - page 146 / 461 » Testing as Abstraction |
146
click to vote
IMAGING
2000
15 years 7 months ago
2000
Abstract. Many different descriptions of Retinex methods of lightness computation exist. We provide concise MATLABTM implementations of two of the spatial techniques of making pixe...
162
click to vote
DAWAK
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. This paper presents a framework for integrating OLAP and recommendations. We focus on the anticipatory recommendation process that assists the user during his OLAP analys...
156
click to vote
AUTOMATICA
2008
15 years 6 months ago
2008
Abstract-- In experimentally assessing the stability and performance level of a large collection of controllers in feedback with a single unknown actual plant, we develop a method ...
180
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. This paper presents two new approaches to prove termination of rewrite systems with the Knuth-Bendix order efficiently. The constraints for the weight function and for th...
171
click to vote
DAM
2006
15 years 6 months ago
2006
Abstract. Computing a maximum weighted stable set in a bipartite graph is considered wellsolved and usually approached with preflow-push, Ford-Fulkerson or network simplex algorith...