Sciweavers

2638 search results - page 329 / 528
» A Framework for Automatic Debugging
Sort
View
CPAIOR
2010
Springer
15 years 11 months ago
Upper Bounds on the Number of Solutions of Binary Integer Programs
We present a new method to compute upper bounds of the number of solutions of binary integer programming (BIP) problems. Given a BIP, we create a dynamic programming (DP) table for...
Siddhartha Jain, Serdar Kadioglu, Meinolf Sellmann
ECOOP
2010
Springer
15 years 11 months ago
Detecting Missing Method Calls in Object-Oriented Software
When using object-oriented frameworks it is easy to overlook certain important method calls that are required at particular places in code. In this paper, we provide a comprehensiv...
Martin Monperrus, Marcel Bruch, Mira Mezini
175
Voted
CA
2000
IEEE
15 years 11 months ago
Layered Animation using Displacement Maps
This paper presents a layered animation framework which uses displacement maps for efficient representation and animation of highly detailed surfaces. The model consists of three...
Raymond S. Smith, Wei Sun, Adrian Hilton, John Ill...
ICMCS
2000
IEEE
116views Multimedia» more  ICMCS 2000»
15 years 11 months ago
Non-linear Relevance Feedback: Improving the Performance of Content-Based Retrieval Systems
In this paper, a non-linear relevance feedback mechanism is proposed for increasing the performance and the reliability of content-based retrieval systems. In particular, the huma...
Nikolaos D. Doulamis, Anastasios D. Doulamis, Stef...
172
Voted
ICPR
2000
IEEE
15 years 11 months ago
A Graph-Based Global Registration for 2D Mosaics
We describe a graph-based global registration method for creating 2D mosaic images. When multi-frames overlap in space, global registration is necessary to minimize the accumulate...
Eun-Young Kang, Isaac Cohen, Gérard G. Medi...