4192 search results - page 504 / 839 » Efficient testing of groups |
159
click to vote
EPS
1998
Springer
15 years 10 months ago
1998
Springer
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...
163
click to vote
ALP
1994
Springer
15 years 9 months ago
1994
Springer
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...
190
click to vote
PLILP
1994
Springer
15 years 9 months ago
1994
Springer
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...
148
click to vote
CDC
2009
IEEE
15 years 9 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...
149
click to vote
GLOBECOM
2009
IEEE
15 years 9 months ago
2009
IEEE
As the Internet owes its scalability and stability to TCP, congestion control also plays a key role in the performance, efficiency, and stability of datacenters, as evidenced by th...