1557 search results - page 45 / 312 » Programming up to Congruence |
100
click to vote
FLAIRS
2008
15 years 1 months ago
2008
The next generation of online reference works will require structured representations of their contents in order to support scholarly functions such as semantic search, automated ...
AAAI
2006
15 years 13 days ago
2006
Real-time dynamic programming (RTDP) is a heuristic search algorithm for solving MDPs. We present a modified algorithm called Focused RTDP with several improvements. While RTDP ma...
TMI
2008
14 years 11 months ago
2008
This paper introduces a 2-D strain imaging technique based on minimizing a cost function using dynamic programming (DP). The cost function incorporates similarity of echo amplitude...
103
click to vote
CP
2010
Springer
14 years 9 months ago
2010
Springer
We introduce a parallelized version of tree-decomposition based dynamic programming for solving difficult weighted CSP instances on many cores. A tree decomposition organizes cost ...
FDL
2008
IEEE
15 years 5 months ago
2008
IEEE
There is an increasing need for automated conversion of high-level design descriptions into hardware. We present a flow that converts a software application written in the Brook ...