2786 search results - page 181 / 558 » A Practical Technique for Process Abstraction |
101
click to vote
VLDB
2004
ACM
15 years 7 months ago
2004
ACM
We consider the problem of resource sharing when processing large numbers of continuous queries. We specifically address sliding-window aggregates over data streams, an important...
ITC
2002
IEEE
15 years 6 months ago
2002
IEEE
—Logic optimization is the step of the very large scale integration (VLSI) design cycle where the designer performs modifications on a design to satisfy different constraints suc...
109
click to vote
SAT
2009
Springer
15 years 6 months ago
2009
Springer
Execution of most of the modern DPLL-based SAT solvers is guided by a number of heuristics. Decisions made during the search process are usually driven by some fixed heuristic pol...
107
click to vote
RT
2001
Springer
15 years 6 months ago
2001
Springer
We describe a new paradigm for three-dimensional computer graphics, using projectors to graphically animate physical objects in the real world. The idea is to replace a physical o...
120
click to vote
AVI
2006
15 years 3 months ago
2006
This paper presents an analysis of user studies from a review of papers describing new visualisation applications and uses these to highlight various issues related to the evaluat...