79 search results - page 5 / 16 » Remarks on solutions of a fourth-order problem |
170
click to vote
FAC
2008
15 years 5 months ago
2008
Given deterministic interfaces P and Q, we investigate the problem of synthesising an interface R such that P composed with R refines Q. We show that a solution exists iff P and Q ...
155
click to vote
ECML
2005
Springer
15 years 11 months ago
2005
Springer
The multi-armed bandit problem for a gambler is to decide which arm of a K-slot machine to pull to maximize his total reward in a series of trials. Many real-world learning and opt...
133
click to vote
WEA
2005
Springer
15 years 11 months ago
2005
Springer
We present the problem of statically distributing instructions of a common programming language, a problem which we prove equivalent to the multiterminal cut problem. We design eï¬...
184
click to vote
ASIACRYPT
2001
Springer
15 years 9 months ago
2001
Springer
A Zero-knowledge protocol provides provably secure entity authentication based on a hard computational problem. Among many schemes proposed since 1984, the most practical rely on f...
175
Voted
GECCO
2006
Springer
15 years 9 months ago
2006
Springer
This paper presents a novel approach to solve the constrained unit commitment problem using Selective Self-Adaptive Ant System (SSAS) for improving search performance by automatic...