1128 search results - page 205 / 226 » Classical Natural Deduction |
ICDT
2005
ACM
15 years 3 months ago
2005
ACM
Abstract. A classical problem in query optimization is to find the optimal ordering of a set of possibly correlated selections. We provide an ion of this problem as a generalizati...
LOCA
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. There is increasing interest in location-aware systems and applications. It is important for any designer of such systems and applications to understand the nature of use...
RAID
2005
Springer
15 years 3 months ago
2005
Springer
Intrusion detection systems are fundamentally passive and fail–open. Because their primary task is classification, they do nothing to prevent an attack from succeeding. An intru...
APGV
2004
ACM
15 years 3 months ago
2004
ACM
We describe a new computational approach to stylize the colors of an image by using a reference image. During processing, we take characteristics of human color perception into ac...
114
click to vote
MSWIM
2004
ACM
15 years 3 months ago
2004
ACM
In this paper we discuss utility functions models to study Radio Resource Management. Our goal is to identify the characteristics of the wireless systems which make such theoretic...