4299 search results - page 583 / 860 » Concurrent Test Generation |
151
click to vote
AMS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract In legged systems, springy legs facilitate gaits with subsequent contact and flight phases. Here, we test whether electrical motors can generate leg behaviors suitable for...
172
Voted
CAV
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Solvers for satisfiability modulo theories (SMT) check the satisfiability of first-order formulas containing operations from various theories such as the Booleans, bit-ve...
130
click to vote
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
In this paper a new Fuzzy/Kalman navigation system for Unmanned Aerial Vehicles (UAV) is presented. A closed loop velocity Fuzzy navigation system is proposed for stabilizing the U...
153
Voted
ECML
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Ensemble methods are popular learning methods that usually increase the predictive accuracy of a classifier though at the cost of interpretability and insight in the deci...
155
Voted
ANTS
2010
Springer
15 years 8 months ago
2010
Springer
Let p be a rational prime and let Φ(X) be a monic irreducible polynomial in Z[X], with nΦ = deg Φ and δΦ = vp(disc Φ). In [13] Montes describes an algorithm for the decomposi...