Sciweavers

3457 search results - page 183 / 692
» A Symbol Is Not a Symbol
Sort
View
JAIR
2007
127views more  JAIR 2007»
15 years 6 months ago
Learning Symbolic Models of Stochastic Domains
In this article, we work towards the goal of developing agents that can learn to act in complex worlds. We develop a a new probabilistic planning rule representation to compactly ...
Hanna M. Pasula, Luke S. Zettlemoyer, Leslie Pack ...
JBCB
2007
46views more  JBCB 2007»
15 years 6 months ago
Symbolic Modeling of Genetic Regulatory Networks
Daniel Mateus, Jean-Pierre Gallois, Jean-Paul Come...
TODAES
2008
49views more  TODAES 2008»
15 years 6 months ago
Probabilistic transfer matrices in symbolic reliability analysis of logic circuits
Smita Krishnaswamy, George F. Viamontes, Igor L. M...
TOSEM
2008
91views more  TOSEM 2008»
15 years 6 months ago
Combining symbolic execution with model checking to verify parallel numerical programs
Stephen F. Siegel, Anastasia Mironova, George S. A...