Sciweavers

10792 search results - page 1823 / 2159
» An Evaluation of Non-Equijoin Algorithms
Sort
View
OOPSLA
2004
Springer
16 years 6 days ago
Modular generics
This paper presents the design of G, a new language specifically created for generic programming. We review and identify important language features of C++ and Haskell in light o...
Jeremy G. Siek
SEM
2004
Springer
16 years 6 days ago
Experience with Lightweight Distributed Component Technologies in Business Intelligence Systems
Business Intelligence (BI) systems address the demands of large scale enterprises for operational analytics, management information and decision support tasks. Building such applic...
Leticia Duboc, Tony Wicks, Wolfgang Emmerich
SETN
2004
Springer
16 years 5 days ago
Construction and Repair: A Hybrid Approach to Search in CSPs
Abstract. In order to obtain a solution to a constraint satisfaction problem, constructive methods iteratively extend a consistent partial assignment until all problem variables ar...
Konstantinos Chatzikokolakis, George Boukeas, Pana...
SPIN
2004
Springer
16 years 5 days ago
Directed Error Detection in C++ with the Assembly-Level Model Checker StEAM
Most approaches for model checking software are based on ration of abstract models from source code, which may greatly reduce the search space, but may also introduce errors that a...
Peter Leven, Tilman Mehler, Stefan Edelkamp
ECCV
2010
Springer
16 years 5 days ago
Real-time Spatiotemporal Stereo Matching Using the Dual-Cross-Bilateral Grid
We introduce a real-time stereo matching technique based on a reformulation of Yoon and Kweon’s adaptive support weights algorithm [1]. Our implementation uses the bilateral grid...
« Prev « First page 1823 / 2159 Last » Next »