4166 search results - page 405 / 834 » Automating the constraining process |
125
click to vote
ENTCS
2008
15 years 5 months ago
2008
Most well-known algorithms for equational solving are based on quantifier elimination. This technique iteratively eliminates the innermost block of existential/universal quantifie...
120
click to vote
COR
2006
15 years 5 months ago
2006
Starting from a given one-shot game played by a finite population of agents living in flatline, a circular or constrained grid structured by the classical definitions of neighborh...
132
click to vote
EOR
2006
15 years 5 months ago
2006
In this paper we use policy-iteration to explore the behaviour of optimal control policies for lost sales inventory models with the constraint that not more than one replenishment...
114
Voted
IJNSEC
2006
15 years 5 months ago
2006
Anonymity is a very important security feature in addition to authentication and key agreement features in communication protocols. In this paper, we propose two authentication an...
152
Voted
JMLR
2006
15 years 5 months ago
2006
In this paper we consider a novel Bayesian interpretation of Fisher's discriminant analysis. We relate Rayleigh's coefficient to a noise model that minimises a cost base...