Sciweavers

4049 search results - page 423 / 810
» Automatic image decomposition
Sort
View
237
Voted
TPHOL
1999
IEEE
15 years 11 months ago
Three Tactic Theorem Proving
Abstract. We describe the key features of the proof description language of Declare, an experimental theorem prover for higher order logic. We take a somewhat radical approach to p...
Don Syme
204
Voted
TKDE
2010
189views more  TKDE 2010»
15 years 5 months ago
Projective Distribution of XQuery with Updates
—We investigate techniques to automatically decompose any XQuery query—including updating queries specified by the XQuery Update Facility (XQUF)—into subqueries, that can be ...
Ying Zhang, Nan Tang, Peter A. Boncz
204
Voted
APGV
2004
ACM
179views Visualization» more  APGV 2004»
16 years 8 days ago
Example-based color stylization based on categorical perception
We describe a new computational approach to stylize the colors of an image by using a reference image. During processing, we take characteristics of human color perception into ac...
Youngha Chang, Keiji Uchikawa, Suguru Saito
CBMS
2000
IEEE
15 years 11 months ago
Use of Shape Models to Search Digitized Spine X-rays
We are building a biomedical information resource consisting of digitized x-ray images and associated textual data from national health surveys. This resource, the Web-based Medic...
L. Rodney Long, George R. Thoma
CVPR
2006
IEEE
16 years 8 months ago
Unsupervised Learning of Categories from Sets of Partially Matching Image Features
We present a method to automatically learn object categories from unlabeled images. Each image is represented by an unordered set of local features, and all sets are embedded into...
Kristen Grauman, Trevor Darrell