Sciweavers

62 search results - page 7 / 13
» Automating metadata generation: the simple indexing interfac...
Sort
View
EDBT
2008
ACM
124views Database» more  EDBT 2008»
14 years 8 months ago
Multi-dimensional search for personal information management systems
With the explosion in the amount of semi-structured data users access and store in personal information management systems, there is a need for complex search tools to retrieve of...
Amélie Marian, Christopher Peery, Thu D. Ng...
DAC
2002
ACM
14 years 8 months ago
Deriving a simulation input generator and a coverage metric from a formal specification
This paper presents novel uses of functional interface specifications for verifying RTL designs. We demonstrate how a simulation environment, a correctness checker, and a function...
Kanna Shimizu, David L. Dill
RWEB
2007
Springer
14 years 2 months ago
Semantic Descriptions in an Enterprise Search Solution
Today customers want to use powerful search engines for their huge and increasing content repositories. Full-text-only products with simple result lists are not enough to satisfy t...
Uwe Crenze, Stefan Köhler, Kristian Hermsdorf...
MM
2006
ACM
184views Multimedia» more  MM 2006»
14 years 1 months ago
Extraction of social context and application to personal multimedia exploration
Personal media collections are often viewed and managed along the social dimension, the places we spend time at and the people we see, thus tools for extracting and using this inf...
Brett Adams, Dinh Q. Phung, Svetha Venkatesh
FLOPS
1999
Springer
14 years 5 days ago
An Interval Lattice-Based Constraint Solving Framework for Lattices
We present a simple generic framework to solve constraints on any domain (finite or infinite) which has a lattice structure. The approach is based on the use of a single constrai...
Antonio J. Fernández, Patricia M. Hill