Sciweavers

2006 search results - page 237 / 402
» Heuristic Security-Testing Methods
Sort
View
CORR
2006
Springer
93views Education» more  CORR 2006»
15 years 1 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»
15 years 1 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
EOR
2006
76views more  EOR 2006»
15 years 1 months ago
Location of slaughterhouses under economies of scale
The facility location problem described in this paper comes from an industrial application in the slaughterhouse industry of Norway. Investigations show that the slaughterhouse in...
John v. d. Broek, Peter Schütz, Leen Stougie,...
CORR
2007
Springer
113views Education» more  CORR 2007»
15 years 1 months ago
Fast paths in large-scale dynamic road networks
Efficiently computing fast paths in large-scale dynamic road networks (where dynamic traffic information is known over a part of the network) is a practical problem faced by sever...
Giacomo Nannicini, Philippe Baptiste, Gilles Barbi...
JCIT
2008
94views more  JCIT 2008»
15 years 1 months ago
Finding Semantic Errors in the Rule-base of Production Systems, and Reasoning with Insufficient Input Data Petri-net-based Appro
Two simple but practical production systems are modeled using Petri Nets. Petri-net models are very useful in finding semantic errors like generalization error and missing conditi...
Hong-Youl Lee