Sciweavers

8232 search results - page 391 / 1647
» Dynamic Logic Programming
Sort
View
GECCO
2005
Springer
133views Optimization» more  GECCO 2005»
16 years 9 days ago
Parsing and translation of expressions by genetic programming
We have investigated the potential for using genetic programming to evolve compiler parsing and translation routines for processing arithmetic and logical expressions as they are ...
David Jackson
SOFTVIS
2005
ACM
16 years 10 days ago
Jove: java as it happens
Dynamic software visualization is designed to provide programmers with insights as to what the program is doing. Most current dynamic visualizations either use program traces to s...
Steven P. Reiss, Manos Renieris
166
Voted
SOFTVIS
2003
ACM
16 years 1 days ago
Visualizing Java in Action
Dynamic software visualization is supposed to provide programmers with insights as to what the program is doing. Most current dynamic visualizations either use program traces to s...
Steven P. Reiss
KRDB
2001
110views Database» more  KRDB 2001»
15 years 8 months ago
Path Constraints from a Modal Logic Point of View
We analyze several classes of path constraints for semistructured data in a unified framework and prove some decidability and complexity results for these constraints by embedding...
Natasha Alechina, Stéphane Demri, Maarten d...
NIPS
1996
15 years 8 months ago
Exploiting Model Uncertainty Estimates for Safe Dynamic Control Learning
Model learning combined with dynamic programming has been shown to be e ective for learning control of continuous state dynamic systems. The simplest method assumes the learned mod...
Jeff G. Schneider