12981 search results - page 2494 / 2597 » Model Checking and Abstraction |
239
click to vote
ICDE
2009
IEEE
16 years 3 months ago
2009
IEEE
Abstract-- When dealing with massive quantities of data, topk queries are a powerful technique for returning only the k most relevant tuples for inspection, based on a scoring func...
122
click to vote
ICIP
2007
IEEE
16 years 3 months ago
2007
IEEE
Abstract - The proposed algorithm in this work provides superresolution for color images by using a learning based technique that utilizes both generative and discriminant approach...
182
click to vote
ICDE
2008
IEEE
16 years 2 months ago
2008
IEEE
Abstract-- Most current information extraction (IE) approaches have considered only static text corpora, over which we typically have to apply IE only once. Many real-world text co...
108
click to vote
VIS
2007
IEEE
16 years 2 months ago
2007
IEEE
Abstract-- Multi-projector displays today are automatically registered, both geometrically and photometrically, using cameras. Existing registration techniques assume pre-calibrate...
129
click to vote
VIS
2008
IEEE
16 years 2 months ago
2008
IEEE
Abstract--This paper presents a novel and efficient surface matching and visualization framework through the geodesic distanceweighted shape vector image diffusion. Based on confor...