Sciweavers

3544 search results - page 517 / 709
» Rethinking the Presentation of Results from Web Search
Sort
View
ICCD
2000
IEEE
135views Hardware» more  ICCD 2000»
16 years 3 months ago
A Methodology and Tool for Automated Transformational High-Level Design Space Exploration
el of abstraction by integrating a high-level estimation step. This results in a design loop which is tight led on high level of abstraction (called estimation loop in figure 1). ...
Joachim Gerlach, Wolfgang Rosenstiel
SIGIR
2004
ACM
15 years 12 months ago
Evaluating high accuracy retrieval techniques
Although information retrieval research has always been concerned with improving the effectiveness of search, in some applications, such as information analysis, a more specific ...
Chirag Shah, W. Bruce Croft
AIPS
2004
15 years 8 months ago
Guiding Planner Backjumping Using Verifier Traces
In this paper, we show how a planner can use a modelchecking verifier to guide state space search. In our work on hard real-time, closed-loop planning, we use a modelchecker'...
Robert P. Goldman, Michael J. S. Pelican, David J....
ICDE
1998
IEEE
103views Database» more  ICDE 1998»
16 years 7 months ago
Online Generation of Association Rules
We have a large database consisting of sales transactions. We investigate the problem of online mining of association rules in this large database. We show how to preprocess the d...
Charu C. Aggarwal, Philip S. Yu
EVOW
2009
Springer
16 years 1 months ago
Evolving Approximate Image Filters
Image filtering involves taking a digital image and producing a new image from it. In software packages such as Adobe’s Photoshop, image filters are used to produce artistic ve...
Simon Colton, Pedro Torres