1943 search results - page 118 / 389 » Ordering Default Theories |
192
click to vote
SPIN
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Computational resources are increasing rapidly with the explosion of multi-core processors readily available from major vendors. Model checking needs to harness these res...
224
click to vote
GLOBECOM
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--Today's file sharing networks are creating potential security problems to enterprise networks, i.e., the leakage of confidential documents. In order to prevent such ...
136
click to vote
APAL
2008
15 years 7 months ago
2008
We characterize the o-minimal expansions of the ring of real numbers, in mathematically transparent terms. This should help bridge the gap between investigators in ominimality and ...
193
click to vote
GECCO
2007
Springer
16 years 1 months ago
2007
Springer
This paper explores connections between Ficici’s notion of solution concept and order theory. Ficici postulates that algorithms should ascend an order called weak preference; th...
167
click to vote
ICIP
2004
IEEE
16 years 8 months ago
2004
IEEE
It is well-known that scale space theory and Tikhonov regularization are close-knit. In previous studies qualitative analogies and formal relations had already been found, but non...