851 search results - page 49 / 171 » Inaccessibility in Decision Procedures |
LICS
2003
IEEE
14 years 28 days 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 ...
IDA
2010
Springer
13 years 9 months ago
2010
Springer
This paper introduces a novel method for obtaining increased predictive performance from transparent models in situations where production input vectors are available when building...
ICASSP
2010
IEEE
13 years 7 months ago
2010
IEEE
This paper addresses the training of classification trees for weakly labelled data. We call ”weakly labelled data”, a training set such as the prior labelling information pro...
ANOR
2005
13 years 7 months ago
2005
: In this paper, we present a supply chain network model with multiple tiers of decision-makers, consisting, respectively, of manufacturers, distributors, and retailers, who can co...
ANOR
2004
13 years 7 months ago
2004
Accurate knowledge of the effect of parameter uncertainty on process design and operation is essential for optimal and feasible operation of a process plant. Existing approaches de...