Sciweavers

1710 search results - page 2 / 342
» High-Level Programs and Program Conditions
Sort
View
IWOMP
2009
Springer
14 years 2 months ago
Extending Automatic Parallelization to Optimize High-Level Abstractions for Multicore
Chunhua Liao, Daniel J. Quinlan, Jeremiah Willcock...
DSL
2009
13 years 5 months ago
Generic Libraries in C++ with Concepts from High-Level Domain Descriptions in Haskell
Daniel Lincke, Patrik Jansson, Marcin Zalewski, Ce...
AAAI
2000
13 years 9 months ago
Decision-Theoretic, High-Level Agent Programming in the Situation Calculus
We propose a frameworkfor robot programming which allows the seamless integration of explicit agent programming with decision-theoretic planning. Specifically, the DTGolog model a...
Craig Boutilier, Raymond Reiter, Mikhail Soutchans...