12981 search results - page 2422 / 2597 » Model Checking (Abstract) |
139
Voted
TIP
2010
15 years 2 months ago
2010
Abstract—This paper introduces a novel examplar-based inpainting algorithm through investigating the sparsity of natural image patches. Two novel concepts of sparsity at the patc...
153
Voted
TKDE
2010
15 years 2 months ago
2010
—In this paper, we describe and evaluate a Web service discovery framework using OWL-S advertisements, combined with the distinction between service and Web service of the WSMO D...
102
Voted
TMI
2010
15 years 2 months ago
2010
Abstract—The pinhole camera in single photon emission computed tomography (SPECT) has an inherent trade-off between resolution and sensitivity. Recent systems overcome this to so...
141
Voted
TSE
2010
15 years 2 months ago
2010
—Discovering program behaviors and functionalities can ease program comprehension and verification. Existing program analysis approaches have used text mining algorithms to infer...
134
click to vote
TVCG
2010
15 years 1 months ago
2010
—It remains challenging for information visualization novices to rapidly construct visualizations during exploratory data analysis. We conducted an exploratory laboratory study i...