1943 search results - page 141 / 389 » Ordering Default Theories |
180
Voted
CADE
2006
Springer
16 years 7 months ago
2006
Springer
Abstract. We present a formally verified quantifier elimination procedure for the first order theory over linear mixed real-integer arithmetics in higher-order logic based on a wor...
198
Voted
ICIC
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. In this paper, a general framework of quantum-inspired multiobjective evolutionary algorithms is proposed based on the basic principles of quantum computing and general s...
173
click to vote
AICCSA
2005
IEEE
16 years 19 days ago
2005
IEEE
A new scheme for transmitting sensitive data is proposed, the proposed scheme depends on partitioning the output of a block encryption module using the Chinese Remainder Theorem a...
180
Voted
SCALESPACE
2005
Springer
16 years 14 days ago
2005
Springer
This paper presents an algorithm for computing stability of top-points in scale-space. The potential usefulness of top-points in scalespace has already been shown for a number of a...
166
Voted
SEFM
2003
IEEE
16 years 8 days ago
2003
IEEE
We propose a formal model of trust informed by the Global Computing scenario and focusing on the aspects of trust formation, evolution, and propagation. The model is based on a no...