Sciweavers

850 search results - page 98 / 170
» heuristics 2006
Sort
View
COMPSEC
2006
132views more  COMPSEC 2006»
14 years 11 months ago
Tightening the net: A review of current and next generation spam filtering tools
This paper provides an overview of current and potential future spam filtering approaches. We examine the problems spam introduces, what spam is and how we can measure it. The pap...
James Carpinter, Ray Hunt
CORR
2006
Springer
93views Education» more  CORR 2006»
14 years 11 months ago
Geocoding multilingual texts: Recognition, disambiguation and visualisation
We are presenting a method to recognise geographical references in free text. Our tool must work on various languages with a minimum of language-dependent resources, except a gaze...
Bruno Pouliquen, Marco Kimler, Ralf Steinberger, C...
CORR
2006
Springer
151views Education» more  CORR 2006»
14 years 11 months ago
Combining decision procedures for the reals
Abstract. We address the general problem of determining the validity of boolean combinations of equalities and inequalities between real-valued expressions. In particular, we consi...
Jeremy Avigad, Harvey Friedman
CORR
2006
Springer
68views Education» more  CORR 2006»
14 years 11 months ago
A rigorous proof of the cavity method for counting matchings
In this paper we rigorously prove the validity of the cavity method for the problem of counting the number of matchings in graphs with large girth. Cavity method is an important he...
Mohsen Bayati, Chandra Nair
EOR
2006
66views more  EOR 2006»
14 years 11 months ago
Multi-period capacity expansion for a local access telecommunications network
In this paper, we examine a multi-period capacity expansion problem for a local access telecommunications network with a tree topology. Capacity expansion is realized through the ...
Michel Gendreau, Jean-Yves Potvin, Ali Smires, Pat...