1737 search results - page 24 / 348 » On Interpolation in Existence Logics |
154
click to vote
ICC
2007
IEEE
16 years 11 days ago
2007
IEEE
— This paper develops linear precoding schemes for the downlink in multiuser multiple-input multiple-output (MIMO) orthogonal frequency division multiplexing (OFDM) systems with ...
143
click to vote
SI3D
2003
ACM
15 years 11 months ago
2003
ACM
This paper describes a framework for introducing visually smooth surfaces into sketch-based freeform modeling systems. An existing sketch-based freeform modeling system generates ...
152
click to vote
CAGD
2000
15 years 5 months ago
2000
In this paper, we first introduce a 3D morphing method for landmark-based volume deformation, using various scattered data interpolation schemes. Qualitative and speed comparisons...
178
click to vote
LICS
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract—Maximality is a desirable property of paraconsistent logics, motivated by the aspiration to tolerate inconsistencies, but at the same time retain as much as possible fro...
179
click to vote
LOGCOM
2010
15 years 25 days ago
2010
Gentzen systems are introduced for Spinks and Veroff's substructural logic corresponding to constructive logic with strong negation, and some logics in its vicinity. It has b...