3690 search results - page 338 / 738 » Computation with classical sequents |
157
click to vote
VTC
2007
IEEE
16 years 1 months ago
2007
IEEE
— This constribution considers nonlinear space-time equalisation (STE) designed for single-input multiple-output (SIMO) systems. By exploiting the inherent symmetry of the underl...
166
click to vote
CC
2007
Springer
16 years 1 months ago
2007
Springer
Reference counting is a classical garbage collection method. Recently, a series of papers have extended the basic method to drastically reduce its notorious overhead and extend the...
197
click to vote
CLEAR
2007
Springer
16 years 1 months ago
2007
Springer
This paper is a summary of the 2007 CLEAR Evaluation on the Classification of Events, Activities, and Relationships which took place in early 2007 and culminated with a two-day wo...
199
click to vote
CSL
2007
Springer
16 years 1 months ago
2007
Springer
A focused proof system provides a normal form to cut-free proofs that structures the application of invertible and non-invertible inference rules. The focused proof system of Andre...
145
click to vote
ECSQARU
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. The problem of averaging outcomes under several scenarios to form overall objective functions is of considerable importance in decision support under uncertainty. The fuz...