12783 search results - page 692 / 2557 » Experimenting with computing |
216
click to vote
CADE
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. In the context of deductive program verification, supporting floatingpoint computations is tricky. We propose an expressive language to formally specify behavioral proper...
176
click to vote
ECAI
2010
Springer
15 years 8 months ago
2010
Springer
We introduce First Order ProbLog, an extension of first order logic with soft constraints where formulas are guarded by probabilistic facts. The paper defines a semantics for FOPro...
159
click to vote
GECCO
2008
Springer
15 years 8 months ago
2008
Springer
In this paper we describe an improvement of an entropy-based diversity preservation approach for evolutionary algorithms. This approach exploits the information contained not only...
180
click to vote
AUTOMATICA
2010
15 years 7 months ago
2010
: A new iterative feedback/feedforward tuning (IFFT) method is presented for multiple-input multiple output (MIMO) control systems that relies on efficient computation of the negat...
186
click to vote
COLING
2008
15 years 7 months ago
2008
This paper considers the problem of automatic assessment of local coherence. We present a novel entity-based representation of discourse which is inspired by Centering Theory and ...