3145 search results - page 262 / 629 » Algebraic Linear Orderings |
163
click to vote
LATIN
2010
Springer
16 years 1 months ago
2010
Springer
We present a lattice algorithm specifically designed for some classical applications of lattice reduction. The applications are for lattice bases with a generalized knapsack-type ...
178
click to vote
CSL
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. This paper is part of a general project of developing a systematic and algebraic proof theory for nonclassical logics. Generalizing our previous work on intuitionistic-su...
169
click to vote
TPHOL
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper, we present an approach to describe uniformly iterated “big” operations, like Pn i=0 f(i) or maxi∈I f(i) and to provide lemmas that encapsulate all the commonly...
163
click to vote
CRV
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper presents a simple linear operator that accurately estimates the position and parameters of ellipse features. Based on the dual conic model, the operator avoids the inte...
170
click to vote
DATE
2007
IEEE
16 years 1 months ago
2007
IEEE
We present a computationally efficient implementation of positive-real balanced truncation (PRBT) for symmetric multiple-input multiple-output (MIMO) systems. The solution of a p...