1128 search results - page 159 / 226 » Classical Natural Deduction |
98
Voted
ICDT
2007
ACM
15 years 4 months ago
2007
ACM
Abstract. We introduce approximate data exchange, by relaxing classical data exchange problems such as Consistency and Typechecking to their approximate versions based on Property ...
119
click to vote
ACMACE
2006
ACM
15 years 4 months ago
2006
ACM
We present a study that explores the use of a commercially available eye tracker as a control device for video games. We examine its use across multiple g...
128
Voted
AIRS
2006
Springer
15 years 4 months ago
2006
Springer
Recently, much research has been proposed using nature inspired algorithms to perform complex machine learning tasks. Ant Colony Optimization (ACO) is one such algorithm based on s...
107
Voted
CRYPTO
2006
Springer
15 years 4 months ago
2006
Springer
In this paper we formalize a general model of cryptanalytic time/memory tradeoffs for the inversion of a random function f : {0, 1, . . . , N - 1} {0, 1, . . . , N - 1}. The model...
106
click to vote
EURONGI
2006
Springer
15 years 4 months ago
2006
Springer
Wireless sensor networks (WSNs) pose challenges not present in classical distributed systems: resource limitations, high failure rates, and ad hoc deployment. The lossy nature of w...