844 search results - page 52 / 169 » Semantic Analysis of Matrix Structures |
158
click to vote
APAL
2010
15 years 6 months ago
2010
Abstract. We develop a general algebraic and proof-theoretic study of substructural logics that may lack associativity, along with other structural rules. Our study extends existin...
172
click to vote
SERP
2004
15 years 7 months ago
2004
This paper describes a design specification and analysis framework to support the OO design stage. Structural and behavioral specifications of objects are integrated and formalize...
141
click to vote
PVM
2004
Springer
15 years 11 months ago
2004
Springer
We introduce a refinement strategy to bring the parallel performance analysis closer to the user. The analysis starts with a simple high-level performance model. It is based on fir...
167
click to vote
DAGM
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. We propose a novel method for addressing the model selection problem in the context of kernel methods. In contrast to existing methods which rely on hold-out testing or t...
196
click to vote
IMAMS
2003
15 years 7 months ago
2003
Watermarking is to embed a structure called a watermark into the target data such as images. The watermark can be used, for example, in order to secure the copyright and detect tam...