3863 search results - page 264 / 773 » Function in Device Representation |
167
Voted
LCTRTS
2000
Springer
15 years 10 months ago
2000
Springer
This paper presents a general approach to automatically validate code-improving transformations on low-level program representations. The approach ensures the correctness of compi...
194
click to vote
MICCAI
2000
Springer
15 years 10 months ago
2000
Springer
We describe a new magnetic resonance (MR) image analysis tool that produces cortical surface representations with spherical topology from MR images of the human brain. The tool pr...
164
click to vote
KDD
1995
ACM
15 years 10 months ago
1995
ACM
This paper introduces a newalgorithm called SIAO1 for learning first order logic rules withgenetic algorithms. SIAO1uses the covering principle developed in AQwhereseed examplesar...
197
click to vote
IJCAI
2007
15 years 8 months ago
2007
Dynamic programming algorithms provide a basic tool identifying optimal solutions in Markov Decision Processes (MDP). The paper develops a representation for decision diagrams sui...
152
click to vote
UAI
2004
15 years 8 months ago
2004
We describe an approach for exploiting structure in Markov Decision Processes with continuous state variables. At each step of the dynamic programming, the state space is dynamica...