177 search results - page 17 / 36 » Combining Proof-Producing Decision Procedures |
ICASSP
2010
IEEE
13 years 7 months ago
2010
IEEE
A major challenge faced by a spoken term detection (STD) system is the detection of out-of-vocabulary (OOV) terms. Although a subword-based STD system is able to detect OOV terms,...
LICS
2003
IEEE
14 years 4 hour ago
2003
IEEE
We present decidability results for the verification of cryptographic protocols in the presence of equational theories corresponding to xor and Abelian groups. Since the perfect ...
GECCO
2006
Springer
13 years 10 months ago
2006
Springer
: Evolutionary multi-objective optimization (EMO) methodologies have been amply applied to find a representative set of Pareto-optimal solutions in the past decade and beyond. Alth...
ECCV
2008
Springer
14 years 8 months ago
2008
Springer
Abstract. Recently, new segmentation models based on local information have emerged. They combine local statistics of the regions along the contour (inside and outside) to drive th...
IGPL
1998
13 years 6 months ago
1998
Is it possible to compute in which logics a given formula is deducible? The aim of this paper is to provide a formal basis to answer positively this question in the context of sub...