Sciweavers

4469 search results - page 131 / 894
» Dynamic Program Slicing
Sort
View
FASE
2008
Springer
14 years 12 months ago
An Automatic Verifier for Java-Like Programs Based on Dynamic Frames
Jan Smans, Bart Jacobs 0002, Frank Piessens, Wolfr...
56
Voted
ICINCO
2007
102views Robotics» more  ICINCO 2007»
14 years 11 months ago
Active learning in regression, with application to stochastic dynamic programming
Olivier Teytaud, Sylvain Gelly, Jéré...