3738 search results - page 268 / 748 » Parametrized Logic Programming |
128
click to vote
FAABS
2000
Springer
15 years 8 months ago
2000
Springer
This paper integrates research in robot programming and reasoning about action with research in model-based reasoning about physical systems to provide a capability for modeling an...
122
click to vote
GECCO
2005
Springer
15 years 10 months ago
2005
Springer
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 ...
146
click to vote
JMLR
2012
13 years 6 months ago
2012
Unsupervised discovery of latent representations, in addition to being useful for density modeling, visualisation and exploratory data analysis, is also increasingly important for...
143
click to vote
POPL
1997
ACM
15 years 8 months ago
1997
ACM
Java offers the real possibility that most programs can be written in a type-safe language. However, for Java to be broadly useful, it needs additional expressive power. This pape...
118
click to vote
AAAI
2006
15 years 5 months ago
2006
Markov decision processes (MDPs) with discrete and continuous state and action components can be solved efficiently by hybrid approximate linear programming (HALP). The main idea ...