757 search results - page 47 / 152 » How to decide |
CLEF
2009
Springer
13 years 8 months ago
2009
Springer
The CLEF-IP track was launched in 2009 to investigate IR techniques for patent retrieval. It is part of the CLEF 2009 evaluation campaign. Also, in 2009 we built a system in order ...
GIR
2008
ACM
13 years 8 months ago
2008
ACM
With the aim to improve the quality of gazetteers for geographic information retrieval systems, we present a method to detect place names employed by people submitting information...
CAV
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. We apply model checking of knowledge properties to the design of distributed controllers that enforce global constraints on concurrent systems. We calculate when processe...
INTERNET
2006
13 years 7 months ago
2006
: The huge growth of e-commerce has had a profound impact on users who can now choose from an ever increasing number of options online. Inevitably, as the number of choices has inc...
DAM
2007
13 years 7 months ago
2007
A Skolem sequence is a sequence a1, a2, . . . , a2n (where ai ∈ A = {1, . . . , n}), each ai occurs exactly twice in the sequence and the two occurrences are exactly ai position...