430 search results - page 57 / 86 » On Using Satisfiability-Based Pruning Techniques in Covering... |
109
Voted
ICDE
2010
IEEE
16 years 15 days ago
2010
IEEE
Abstract-- This work presents a novel index structure, MHRtree, for efficiently answering approximate string match queries in large spatial databases. The MHR-tree is based on the ...
111
click to vote
CIKM
2004
Springer
15 years 6 months ago
2004
Springer
At present, most of the state-of-the-art solutions for XML access controls are either (1) document-level access control techniques that are too limited to support fine-grained sec...
124
click to vote
ISSS
2000
IEEE
15 years 5 months ago
2000
IEEE
This paper addresses the problem of estimating lower bounds on the power consumption in scheduled data flow graphs with a fixed number of allocated resources prior to binding. T...
178
Voted
Book
"Pattern recognition techniques are concerned with the theory and algorithms of putting abstract objects, e.g., measurements made on physical objects, into categories. Typical...
102
Voted
DAC
2007
ACM
16 years 1 months ago
2007
ACM
In this paper we propose a novel parameterized macromodeling technique for analog circuits. Unlike traditional macromodels that are only extracted for a small variation space, our...