1757 search results - page 101 / 352 » Alternating Refinement Relations |
158
click to vote
Lecture Notes
These notes cover several topics such as Money Demand (and some Supply), The Price of Money, Derivations of the Pricing Relations, Money and Sticky Prices: A First Look, Money in M...
116
click to vote
CADE
2009
Springer
16 years 3 months ago
2009
Springer
Abstract. We prove several results related to local proofs, interpolation and suion calculus and discuss their use in predicate abstraction and invariant generation. Our proofs and...
103
click to vote
FUIN
2007
15 years 3 months ago
2007
Q− is a weaker variant of Robinson arithmetic Q in which addition and multiplication are partial functions, i.e. ternary relations that are graphs of possibly non-total function...
106
click to vote
EOR
2000
15 years 3 months ago
2000
In this paper, we present a model allowing to determine the weights related to interacting criteria. This is done on the basis of the knowledge of a partial ranking over a referen...
142
click to vote
WIDM
2011
ACM
14 years 10 months ago
2011
ACM
Association mining has been one of the most intensively researched areas of data mining. However, direct uptake of the resulting technologies has been relatively low. This paper e...