102291 search results - page 19696 / 20459 » Computing |
207
click to vote
IFL
2005
Springer
16 years 17 days ago
2005
Springer
Abstract. This paper considers the use of dependent types to capture information about dynamic resource usage in a static type system. Dependent types allow us to give (explicit) p...
206
click to vote
ILP
2005
Springer
16 years 17 days ago
2005
Springer
Recursive loops in a logic program present a challenging problem to the PLP framework. On the one hand, they loop forever so that the PLP backward-chaining inferences would never s...
224
click to vote
INDOCRYPT
2005
Springer
16 years 17 days ago
2005
Springer
In this paper, we analyse the algebraic immunity of symmetric Boolean functions. We identify a set of lowest degree annihilators for symmetric functions and propose an efficient al...
211
click to vote
INTETAIN
2005
Springer
16 years 17 days ago
2005
Springer
The Compass20083 project is a sino-german cooperation, aiming at integrating advanced information technologies to create a hightech information system that helps visitors to access...
172
click to vote
INTETAIN
2005
Springer
16 years 17 days ago
2005
Springer
Games and other forms of tabletop electronic entertainment are a natural application of the new multi-user multi-touch tabletop technology DiamondTouch [3]. Electronic versions of...