1414 search results - page 154 / 283 » Combining Intruder Theories |
163
click to vote
LICS
2010
IEEE
15 years 4 months ago
2010
IEEE
—There are two usual ways to describe equality in a dependent typing system, one that uses an external notion of computation like beta-reduction, and one that introduces a typed ...
140
click to vote
MA
2010
Springer
15 years 4 months ago
2010
Springer
The paper reconsiders the autoregressive aided periodogram bootstrap (AAPB) which has been suggested in Kreiß and Paparoditis (2003). Their idea was to combine a time domain param...
170
click to vote
SETN
2010
Springer
15 years 4 months ago
2010
Springer
Ambient Intelligence is an emerging discipline that requires the integration of expertise from a multitude of scientific fields. The role of Artificial Intelligence is crucial n...
150
click to vote
SPIRE
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. The classical set theory provides a method for comparing objects using cardinality and intersection, in combination with well-known resemblance coefficients such as Dice,...
152
click to vote
ACL
2010
15 years 4 months ago
2010
Statistical translation models that try to capture the recursive structure of language have been widely adopted over the last few years. These models make use of varying amounts o...