3333 search results - page 89 / 667 » Abstract Proof Search |
149
Voted
CP
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. In this paper, we present a major improvement in the search procedures in constraint programming. First, we integrate various search procedures from AI and OR. Second, we...
107
Voted
IJWGS
2010
15 years 24 days ago
2010
Abstract: In this paper, we revisit our approach to construction of semanticlinguistic Feature Vectors (FVs) used to enhance Web search. These FVs are built based on domain semanti...
88
Voted
CONCUR
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We show how to apply Howe’s method for the proof of congruence of early bisimilarities in a higher-order process calculus with
106
Voted
ACISP
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. A security proof in the Bellare
104
click to vote
CPC
2006
15 years 3 months ago
2006
Abstract. The main results of this paper are regularity and counting lemmas for 3uniform hypergraphs. A combination of these two results gives a new proof of a theorem of Frankl an...