Sciweavers

3145 search results - page 427 / 629
» Algebraic Linear Orderings
Sort
View
ICASSP
2009
IEEE
16 years 1 months ago
View-invariant tensor null-space representation for multiple motion trajectory retrieval and classification
In this paper, we propose a novel general framework for tensor based null space affine invariants, namely, tensor null space invariants (TNSI) with a linear classifier for high ...
Xu Chen, Dan Schonfeld, Ashfaq Khokhar
ICASSP
2009
IEEE
16 years 1 months ago
High-rate distributed multi-source cooperation using complex field coding
A multisource cooperative protocol is developed capable of achieving diversity order up to the number of cooperating users at a high throughput. In this design each source jointly...
Alfonso Cano Pleite, Jesús Gómez-Vil...
SEFM
2009
IEEE
16 years 1 months ago
Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths
Interval temporal logics are based on interval structures over linearly (or partially) ordered domains, where time intervals, rather than time instants, are the primitive ontologi...
Davide Bresolin, Valentin Goranko, Angelo Montanar...
ECWEB
2009
Springer
204views ECommerce» more  ECWEB 2009»
16 years 1 months ago
Computational Complexity Reduction for Factorization-Based Collaborative Filtering Algorithms
Abstract. Alternating least squares (ALS) is a powerful matrix factorization (MF) algorithm for both implicit and explicit feedback based recommender systems. We show that by using...
István Pilászy, Domonkos Tikk
TLCA
2009
Springer
16 years 1 months ago
On the Meaning of Logical Completeness
G¨odel’s completeness theorem is concerned with provability, while Girard’s theorem in ludics (as well as full completeness theorems in game semantics) are concerned with proo...
Michele Basaldella, Kazushige Terui