3145 search results - page 271 / 629 » Algebraic Linear Orderings |
143
click to vote
ISCAS
2008
IEEE
16 years 1 months ago
2008
IEEE
—This paper shows how the relative size of components can be used to increase matching performance – saving orders of magnitude in component area. The relative size information...
180
click to vote
JAMDS
2002
15 years 6 months ago
2002
Abstract. In this paper we provide a simple proof of the extension theorem for partial orderings due to Suzumura [1983] when the domain of the partial order is finite. The extensio...
199
click to vote
TSP
2010
15 years 1 months ago
2010
A random beamforming scheme for the Gaussian MIMO broadcast channel with channel quality feedback is investigated and extended. Considering the case where the receivers each have r...
167
Voted
LPAR
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. We present Zenon, an automated theorem prover for first order classical logic (with equality), based on the tableau method. Zenon is intended to be the dedicated prover ...
208
click to vote
IDEAS
2003
IEEE
15 years 12 months ago
2003
IEEE
In this concise paper, we present the Nested Relational Sequence Model (NRSM), which is an extension of the Nested Relational Data Model in order to handle XML data. We also intro...