8025 search results - page 1024 / 1605 » Combinators Introduction: An Algorithm |
183
click to vote
GSN
2009
Springer
15 years 12 months ago
2009
Springer
We present an algorithm that makes an appropriate use of a Kalman filter combined with a geometric computation with respect to the localisation of a pollutant-emitting point sourc...
200
click to vote
AI
2001
Springer
15 years 12 months ago
2001
Springer
In recent years, interval constraint-based solvers have shown their ability to efficiently solve challenging non-linear real constraint problems. However, most of the working syst...
222
click to vote
CHES
2001
Springer
15 years 12 months ago
2001
Springer
Abstract. In this paper we show how using a representation of an elliptic curve as the intersection of two quadrics in P3 can provide a defence against Simple and Differental Powe...
215
click to vote
CONCUR
2001
Springer
15 years 12 months ago
2001
Springer
We study the maximal reachability probability problem for infinite-state systems featuring both nondeterministic and probabilistic choice. The problem involves the computation of ...
222
click to vote
EUROGP
2001
Springer
15 years 11 months ago
2001
Springer
An evolutionary algorithm is used to design a finite impulse response digital filter with reduced power consumption. The proposed design approach combines genetic optimization an...