1789 search results - page 246 / 358 » Extending the Choquet integral |
163
click to vote
CP
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. In an increasing number of domains such as bioinformatics, combinatorial graph problems arise. We propose a novel way to solve these problems, mainly those that can be tr...
192
click to vote
ESA
2005
Springer
15 years 12 months ago
2005
Springer
We study a wide range of online covering and packing optimization problems. In an online covering problem a linear cost function is known in advance, but the linear constraints th...
149
click to vote
ESORICS
2005
Springer
15 years 12 months ago
2005
Springer
Information flow and non-interference are well-established techniques for expressing both integrity and privacy properties. Because of the enormous potential to transmit informati...
147
click to vote
FPL
2005
Springer
15 years 12 months ago
2005
Springer
This paper describes a method based on polynomial approximation for transferring ROM resources used in FPGA designs to multiplication and addition operations. The technique can be...
193
click to vote
IFM
2005
Springer
15 years 12 months ago
2005
Springer
We present an embedding of the stable failures model of CSP in the PVS theorem prover. Our work, extending a previous embedding of the traces model of CSP in [6], provides a platfo...