8228 search results - page 212 / 1646 » Structural Logical Relations |
119
Voted
JAIR
2011
14 years 12 months ago
2011
We introduce a novel logical notion–partial entailment–to propositional logic. In contrast with classical entailment, that a formula P partially entails another formula Q with...
123
click to vote
WLP
1997
Springer
15 years 9 months ago
1997
Springer
Recently well-quasi orders in general, and homeomorphic embedding in particular, have gained popularity to ensure the termination of program analysis, specialisation and transform...
126
click to vote
ICML
2006
IEEE
16 years 5 months ago
2006
IEEE
Clustering on multi-type relational data has attracted more and more attention in recent years due to its high impact on various important applications, such as Web mining, e-comm...
262
Voted
ICDE
1995
IEEE
16 years 6 months ago
1995
IEEE
We describe a two-level client-side cache for composite objects mapped as views of a relational database. A semantic model, the Structural Model, is used to specify joins on the r...
158
click to vote
ASE
2002
15 years 4 months ago
2002
The cost of maintaining a software system over a long period of time far exceeds its initial development cost. Much of the maintenance cost is attributed to the time required by ne...