1716 search results - page 225 / 344 » Proving Conditional Termination |
135
click to vote
ESA
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We study the problem of designing group-strategyproof costsharing mechanisms. The players report their bids for getting serviced and the mechanism decides a set of player...
124
click to vote
GECCO
2008
Springer
15 years 5 months ago
2008
Springer
There are several studies on the desirable properties that a performance measure for evolutionary multiobjective algorithms must have. One of these properties is called “compati...
128
click to vote
ICASSP
2010
IEEE
15 years 4 months ago
2010
IEEE
For decades, Hidden Markov Models (HMMs) have been the state-of-the-art technique for acoustic modeling despite their unrealistic independence assumptions and the very limited rep...
113
click to vote
AUTOMATICA
2007
15 years 4 months ago
2007
— A pair of spins is the most simple quantum system that can possess entanglement, a non-classical property playing an essential role in quantum information technologies. In this...
138
click to vote
CGF
2008
15 years 4 months ago
2008
In this paper we propose a new kind of Hermite interpolation on arbitrary domains, matching derivative data of arbitrary order on the boundary. The basic idea stems from an interp...