1757 search results - page 84 / 352 » Alternating Refinement Relations |
128
click to vote
TSMC
2010
14 years 10 months ago
2010
Abstract--The aim of this paper is to present a decision support system model with two important characteristic: 1) mobile technologies are applied in the decision process and 2) t...
127
click to vote
QEST
2007
IEEE
15 years 9 months ago
2007
IEEE
We investigate logics and equivalence relations that capture the qualitative behavior of Markov Decision Processes (MDPs). We present Qualitative Randomized Ctl (Qrctl): formulas o...
ACS
2007
15 years 3 months ago
2007
: It is of general knowledge that those (ultra)filter convergence relations coming from a topology can be characterized by two natural axioms. However, the situation changes consi...
185
Voted
SIGMOD
2008
ACM
16 years 3 months ago
2008
ACM
Schema mappings are logical assertions that specify the relationships between a source and a target schema in a declarative way. The specification of such mappings is a fundamenta...
166
click to vote
AAAI
2012
13 years 5 months ago
2012
In many real applications, especially those involving data objects with complicated semantics, it is generally desirable to discover the relation between patterns in the input spa...