Sciweavers

89 search results - page 5 / 18
» Abstraction Heuristics Extended with Counting Abstractions
Sort
View
SPIRE
2004
Springer
15 years 3 months ago
Indexing Text Documents Based on Topic Identification
This work provides algorithms and heuristics to index text documents by determining important topics in the documents. To index text documents, the work provides algorithms to gene...
Manonton Butarbutar, Susan McRoy
TREC
2003
14 years 11 months ago
Experiments in TREC 2003 Genomics Track at NTT
500,000 PubMed abstracts. However, less than 50 documents are relevant for most queries. Applying scoring to all 500,000 abstracts would create a lot of noise. In the first step, ...
Hirotoshi Taira, Tomonori Izumitani, Tsutomu Hirao...
E4MAS
2006
Springer
15 years 1 months ago
A Unified Model for Physical and Social Environments
Abstract. The AGRE model proposed by Ferber et al. is based on an interesting generalization of both physical and social environments. In this paper we revisit the AGRE model and e...
José-Antonio Báez-Barranco, Tiberiu ...
79
Voted
CORR
2010
Springer
106views Education» more  CORR 2010»
14 years 9 months ago
Spatial logics with connectedness predicates
Abstract. We consider quantifier-free spatial logics, designed for qualitative spatial representation and reasoning in AI, and extend them with the means to represent topological c...
Roman Kontchakov, Ian Pratt-Hartmann, Frank Wolter...
83
Voted
WAE
2000
103views Algorithms» more  WAE 2000»
14 years 11 months ago
Lattice Basis Reduction with Dynamic Approximation
Abstract. In this paper we present a heuristic based on dynamic approximations for improving the well-known Schnorr-Euchner lattice basis reduction algorithm. In particular, the ne...
Werner Backes, Susanne Wetzel