844 search results - page 52 / 169 » Semantic Analysis of Matrix Structures |
126
Voted
APAL
2010
15 years 3 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...
133
Voted
SERP
2004
15 years 4 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...
105
click to vote
PVM
2004
Springer
15 years 8 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...
130
click to vote
DAGM
2006
Springer
15 years 7 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...
162
click to vote
IMAMS
2003
15 years 4 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...