6020 search results - page 500 / 1204 » A New Approach to Model Counting |
190
click to vote
SIGIR
2005
ACM
16 years 18 days ago
2005
ACM
This paper proposes GBM (gravitation-based model), a physical model for information retrieval inspired by Newton’s theory of gravitation. A mapping is built in this model from c...
211
click to vote
IFIP3
1998
15 years 8 months ago
1998
Development of a wide spread project intended to teaching Computer Science, integrating a considerable number of students all over a country with big geographical extension and sc...
193
click to vote
ECIR
2007
Springer
15 years 8 months ago
2007
Springer
An expert finding is a very common task among enterprise search activities, while its usual retrieval performance is far from the quality of the Web search. Query modeling helps t...
192
click to vote
JUCS
2010
15 years 5 months ago
2010
: For many complex and dynamic ubiquitous services, context-aware cooperation can be a solution. However, the way is not yet clear to make individual objects cooperate with each ot...
182
click to vote
ACSAC
1998
IEEE
15 years 11 months ago
1998
IEEE
The increasing complexity of cellular radio networks yields new demands concerning network security. Especially the task of detecting, repulsing and preventing abuse both by in- a...