2188 search results - page 153 / 438 » group 2007 |
113
click to vote
IJAC
2007
15 years 4 months ago
2007
In this paper we consider Property (FA) for lattices in SU(2, 1). First, we prove that SU(2, 1; O3) has Property (FA). We then prove that the arithmetic lattices in SU(2, 1) of se...
153
click to vote
ESORICS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We define a framework to reason about implementations of equational theories in the presence of an adaptive adversary. We particularly focus on soundess of static equiva...
132
click to vote
AIA
2007
15 years 6 months ago
2007
Generalized association rules are rules that contain some background knowledge, therefore, giving a more general view of the domain. This knowledge is codified by a taxonomy set ...
117
click to vote
BCSHCI
2007
15 years 6 months ago
2007
The Creative Problem-Solving Research Group (CPSRG) at Lancaster University is a collaboration between psychologists and computer scientists conducting research into creativity, p...
163
click to vote
CIDR
2007
15 years 6 months ago
2007
We present a “black-box” approach to estimating query cardinality that has no knowledge of query execution plans and data distribution, yet provides accurate estimates. It doe...