Sciweavers

464 search results - page 58 / 93
» Querying Shapes of Histories
Sort
View
ICIAP
1995
ACM
14 years 2 months ago
Image Retrieval by Elastic Matching of User Sketches
—Effective image retrieval by content from database requires that visual image properties are used instead of textual labels to properly index and recover pictorial data. Retriev...
Alberto Del Bimbo, Pietro Pala
ICIP
2003
IEEE
15 years 11 days ago
An ontology approach to object-based image retrieval
In this paper, an image retrieval methodology suited for search in large collections of heterogeneous images is presented. The proposed approach employs a fully unsupervised segme...
Vasileios Mezaris, Ioannis Kompatsiaris, Michael G...
TKDE
2010
190views more  TKDE 2010»
13 years 9 months ago
Effectively Indexing the Uncertain Space
—With the rapid development of various optical, infrared, and radar sensors and GPS techniques, there are a huge amount of multidimensional uncertain data collected and accumulat...
Ying Zhang, Xuemin Lin, Wenjie Zhang, Jianmin Wang...
TOG
2010
181views more  TOG 2010»
13 years 5 months ago
Context-based search for 3D models
Large corpora of 3D models, such as Google 3D Warehouse, are now becoming available on the web. It is possible to search these databases using a keyword search. This makes it poss...
Matthew Fisher, Pat Hanrahan
CAV
2012
Springer
231views Hardware» more  CAV 2012»
12 years 1 months ago
Incremental, Inductive CTL Model Checking
A SAT-based incremental, inductive algorithm for model checking CTL properties is proposed. As in classic CTL model checking, the parse graph of the property shapes the analysis. H...
Zyad Hassan, Aaron R. Bradley, Fabio Somenzi