Sciweavers

2174 search results - page 258 / 435
» Efficient Testing of Forecasts
Sort
View
ACMSE
1998
ACM
15 years 5 months ago
Improving software quality
– It is difficult to improve software quality by relying on conformance to industry standards by continuously upgrading from one standard or model to another standard or model be...
Sharon Wheeler, Sheryl Duggins
EPS
1998
Springer
15 years 5 months ago
Evolving Heuristics for Planning
Abstract. In this paper we describe EvoCK, a new approach to the application of genetic programming (GP) to planning. This approach starts with a traditional AI planner (PRODIGY)an...
Ricardo Aler, Daniel Borrajo, Pedro Isasi
103
Voted
ALP
1994
Springer
15 years 4 months ago
Compositional Analysis for Equational Horn Programs
Abstract. We introduce a compositional characterization of the operational semantics of equational Horn programs. Then we show that this semantics and the standard operational sema...
María Alpuente, Moreno Falaschi, Germ&aacut...
136
Voted
PLILP
1994
Springer
15 years 4 months ago
Dynamic Dependence in Term rewriting Systems and its Application to Program Slicing
Abstract. Program slicing is a useful technique for debugging, testing, and analyzing programs. A program slice consists of the parts of a program which (potentially) affect the va...
John Field, Frank Tip
99
Voted
CDC
2009
IEEE
166views Control Systems» more  CDC 2009»
15 years 4 months ago
Stability and noises evaluation of Fuzzy/Kalman UAV navigation system
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...
Francesco Maria Raimondi, Maurizio Melluso