3994 search results - page 697 / 799 » A Linear Logical Framework |
136
click to vote
ATAL
2003
Springer
15 years 9 months ago
2003
Springer
Optimal behavior is a very desirable property of autonomous agents and, as such, has received much attention over the years. However, making optimal decisions and executing optima...
156
Voted
CTRSA
2003
Springer
15 years 9 months ago
2003
Springer
In this paper, we present a general framework for evaluating the performance characteristics of block cipher structures composed of S-boxes and Maximum Distance Separable (MDS) ma...
144
click to vote
ECCV
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. Compressive sensing (CS) is a new approach for the acquisition and recovery of sparse signals and images that enables sampling rates significantly below the classical Ny...
144
click to vote
ECCV
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. We describe an efficient approach to construct shape models composed of contour parts with partially-supervised learning. The proposed approach can easily transfer parts ...
166
click to vote
SIGSOFT
2009
ACM
15 years 9 months ago
2009
ACM
Runtime adaptation is recognized as a viable way for a serviceoriented system to meet QoS requirements in its volatile operating environment. In this paper we propose a methodolog...