3373 search results - page 105 / 675 » Linear transformations on codes |
112
click to vote
LICS
1999
IEEE
15 years 7 months ago
1999
IEEE
We prove full completeness of multiplicative linear logic (MLL) without MIX under the Chu interpretation. In particular we show that the cut-free proofs of MLL theorems are in a n...
121
click to vote
SAC
2008
ACM
15 years 2 months ago
2008
ACM
Code specialization is a way to obtain significant improvement in the performance of an application. It works by exposing values of different parameters in source code. The availa...
119
click to vote
CDC
2008
IEEE
15 years 9 months ago
2008
IEEE
— In this note, an algebraic approach for state estimation of linear time-varying (LTV) systems is introduced. This approach is based on the following mathematical tools: Laplace...
130
click to vote
CSC
2006
15 years 4 months ago
2006
In this paper, a new method is proposed in order to evaluate the stochastic solution of linear random differential equation. The method is based on the combination of the probabili...
106
Voted
ENTCS
2002
15 years 3 months ago
2002
We describe a linear channel inference system for the TyCO programming language, where channel usage is tracked through method invocations as well as procedure calls. We then appl...