Sciweavers

2970 search results - page 53 / 594
» A Model for the Visualization Exploration Process
Sort
View
SIGMOD
2009
ACM
167views Database» more  SIGMOD 2009»
14 years 9 months ago
Exploring schema repositories with schemr
Schemr is a schema search engine, and provides users the ability to search for and visualize schemas stored in a metadata repository. Users may search by keywords and by example ?...
Kuang Chen, Jayant Madhavan, Alon Y. Halevy
ISMIR
2004
Springer
154views Music» more  ISMIR 2004»
14 years 2 months ago
Mapping Music In The Palm Of Your Hand, Explore And Discover Your Collection
The trends of miniaturization and increasing storage capabilities for portable music players made it possible to carry increasingly more music on small portable devices, but it al...
Fabio Vignoli, Rob van Gulik, Huub van de Wetering
ECBS
2003
IEEE
145views Hardware» more  ECBS 2003»
14 years 2 months ago
Model Checking and Evidence Exploration
We present an algebraic framework for evidence exploration: the process of interpreting, manipulating, and navigating the proof structure or evidence produced by a model checker w...
Yifei Dong, C. R. Ramakrishnan, Scott A. Smolka
ICPR
2010
IEEE
13 years 9 months ago
Clustering Face Carvings: Exploring the Devatas of Angkor Wat
Abstract—We propose a framework for clustering and visualization of images of face carvings at archaeological sites. The pairwise similarities among face carvings are computed by...
Brendan Klare, Pavan Kumar Mallapragada, Anil K. J...
VLSID
2002
IEEE
107views VLSI» more  VLSID 2002»
14 years 9 months ago
Automatic Model Refinement for Fast Architecture Exploration
We present a methodology and algorithms for automatic refinement from a given design specification to an architecture model based on decisions in architecture exploration. An arch...
Junyu Peng, Samar Abdi, Daniel Gajski