8828 search results - page 358 / 1766 » Formal methods in practice |
172
click to vote
GECCO
2008
Springer
15 years 7 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...
192
click to vote
ATVA
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Controlling concurrent systems to impose some global invariant is an undecidable problem. One can gain decidability at the expense of reducing concurrency. Even under thi...
163
click to vote
COLING
2002
15 years 6 months ago
2002
We present a novel disambiguation method for unification-based grammars (UBGs). In contrast to other methods, our approach obviates the need for probability models on the UBG side...
184
click to vote
ENVSOFT
2000
15 years 6 months ago
2000
A technique is proposed for smoothing a broken line fit, with known break points, to observational data. It will be referred to as "broken line smoothing". The smoothness...
140
click to vote
JAL
1998
15 years 6 months ago
1998
Public-key cryptographic systems often involve raising elements of some group (e.g. GF(2n), Z/NZ, or elliptic curves) to large powers. An important question is how fast this expon...