689 search results - page 13 / 138 » Focusing in Linear Meta-logic |
119
click to vote
CISIS
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract. We focus on discrete event systems with a structure of parallel processing, synchronization, and noconcurrency. We use max-plus algebra, which is an effective approach fo...
121
click to vote
CAV
2009
Springer
16 years 4 months ago
2009
Springer
Abstract. We propose a novel, sound, and complete Simplex-based algorithm for solving linear inequalities over integers. Our algorithm, which can be viewed as a semantic generaliza...
153
click to vote
CISS
2008
IEEE
15 years 11 months ago
2008
IEEE
—Thus far, sparse representations have been exploited largely in the context of robustly estimating functions in a noisy environment from a few measurements. In this context, the...
116
click to vote
ICCCN
2007
IEEE
15 years 10 months ago
2007
IEEE
—This paper focuses on the use of specific interleaving techniques for use in W-CDMA (Wideband Code Division Multiple Access). The linear equalization algorithm usually performs ...
119
click to vote
AMTA
2000
Springer
15 years 8 months ago
2000
Springer
This paper describes a language independent linearization engine, oxyGen. This system compiles target language grammars into programs that take feature graphs as inputs and genera...