4870 search results - page 263 / 974 » Construction of Wavelets and Applications |
221
click to vote
TACAS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We extend the setting of Satisfiability Modulo Theories (SMT) by introducing a theory of costs C, where it is possible to model and reason about resource consumption and ...
209
click to vote
BIBM
2009
IEEE
16 years 1 months ago
2009
IEEE
Background: Similaritysearch in chemical structure databases is an important problem with many applications in chemical genomics, drug design, and efficient chemical probe screeni...
193
click to vote
LATA
2009
Springer
16 years 1 months ago
2009
Springer
This tutorial will present an overview of the use of Monadic Second-Order Logic to describe sets of finite graphs and graph transformations, in relation with the notions of tree-w...
209
click to vote
SACMAT
2006
ACM
16 years 18 days ago
2006
ACM
We introduce the concept, model, and policy-specific algorithms for inferring new access control decisions from previous ones. Our secondary and approximate authorization model (...
158
click to vote
SOUPS
2006
ACM
16 years 18 days ago
2006
ACM
Unicode is becoming a dominant character representation format for information processing. This presents a very dangerous usability and security problem for many applications. The...