12774 search results - page 2330 / 2555 » A Framework for Proof Systems |
182
click to vote
FUIN
2006
15 years 6 months ago
2006
Formal concept analysis has grown from a new branch of the mathematical field of lattice theory to a widely recognized tool in Computer Science and elsewhere. In order to fully be...
182
click to vote
IPM
2008
15 years 6 months ago
2008
This article explores how to develop complex data driven user models that go beyond the bag of words model and topical relevance. We propose to learn from rich user specific info...
154
click to vote
IR
2008
15 years 6 months ago
2008
The classical Probability Ranking Principle (PRP) forms the theoretical basis for probabilistic Information Retrieval (IR) models, which are dominating IR theory since about 20 ye...
178
click to vote
IJBC
2006
15 years 6 months ago
2006
In recent years, a large amount of work on chaos-based cryptosystems have been published. However many of the proposed schemes fail to explain or do not possess a number of featur...
188
click to vote
IJCV
2006
15 years 6 months ago
2006
Variational methods are among the most accurate techniques for estimating the optic flow. They yield dense flow fields and can be designed such that they preserve discontinuities, ...