Search Sciweavers | Sciweavers

4469 search results - page 52 / 894

» Dynamic Program Slicing

click to vote

ICSE
1999
IEEE-ACM

126views Software Engineering» more ICSE 1999»

Dynamically Discovering Likely Program Invariants to Support Program Evolution

13 years 12 months ago

Download www.cs.washington.edu

ÐExplicitly stated program invariants can help programmers by identifying program properties that must be preserved when modifying code. In practice, however, these invariants are...

Michael D. Ernst, Jake Cockrell, William G. Griswo...

claim paper

Read More »

click to vote

CLIMA
2004

109views Intelligent Agents» more CLIMA 2004»

Dynamic Logic Programming: Various Semantics Are Equal on Acyclic Programs

13 years 9 months ago

Download ii.fmph.uniba.sk

Abstract. Multidimensional dynamic logic programs (MDLPs) are suitable to represent knowledge dynamic in time, or more generally, information coming from various sources, partially...

Martin Homola

claim paper

Read More »

click to vote

IJCNN
2000
IEEE

181views Neural Networks» more IJCNN 2000»

Comparison of a Heuristic Dynamic Programming and a Dual Heuristic Programming Based Adaptive Critics Neurocontroller for a Turb

14 years 1 days ago

Download web.mst.edu

: This paper presents the design of a neurocontroller for a turbogenerator that augments/replaces the conventional Automatic Voltage Regulator (AVR) and the turbine governor. The n...

Ganesh K. Venayagamoorthy, Ronald G. Harley, Donal...

claim paper

Read More »

click to vote

ICINCO
2007

83views Robotics» more ICINCO 2007»

Nonlinear programming in approximate dynamic programming - bang-bang solutions, stock-management and unsmooth penalties

13 years 9 months ago

Download eprints.pascal-network.org

Olivier Teytaud, Sylvain Gelly

claim paper

Read More »