1791 search results - page 114 / 359 » Two Types of Multiple-Conclusion Systems |
IWANN
1999
Springer
14 years 1 months ago
1999
Springer
A new model which can recognize rotated, distorted, scaled, shifted and noised patterns is proposed. The model is constructed based on psychological experiments in a mental rotatio...
CORR
2006
Springer
13 years 9 months ago
2006
Springer
In a frequency selective slow-fading channel in a MIMO system, the channel matrix is of the form of a block matrix. This paper proposes a method to calculate the limit of the eige...
SIGMOD
2009
ACM
14 years 9 months ago
2009
ACM
This paper presents SELinks, a programming language focused on building secure multi-tier web applications. SELinks provides a uniform programming model, in the style of LINQ and ...
TGC
2007
Springer
14 years 3 months ago
2007
Springer
Secure information flow analysis aims to prevent programs from leaking their H (high) inputs to their L (low) outputs. A major challenge in this area is to relax the standard noni...
ICTAC
2005
Springer
14 years 2 months ago
2005
Springer
It has recently been shown that fair exchange, a security problem in distributed systems, can be reduced to a fault tolerance problem, namely a special form of distributed consensu...