3145 search results - page 468 / 629 » Algebraic Linear Orderings |
146
click to vote
ICCSA
2007
Springer
16 years 8 days ago
2007
Springer
The problem of aggregating multiple numerical criteria to form overall objective functions is of considerable importance in many disciplines. The ordered weighted averaging (OWA) a...
158
Voted
ICLP
2007
Springer
16 years 8 days ago
2007
Springer
Abstract. The many approaches which have been proposed in the literature for proving the correctness of unfold/fold program transformations, consist in associating suitable well-fo...
131
click to vote
ISBI
2006
IEEE
16 years 4 days ago
2006
IEEE
We compare various popular methods available for projection and backprojection in CT. Assuming linear rays and a simple density integration along them, we consider both line- and ...
149
click to vote
CASSIS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We study secure information flow in a stack based Typed Assembly Language (TAL). We define a TAL with an execution stack and establish the soundness of its type system ...
165
Voted
SETA
2004
Springer
15 years 11 months ago
2004
Springer
In order to reduce key sizes and bandwidth, cryptographic systems have been proposed using minimal polynomials to represent finite field elements. These systems are essentially e...