Browsing by Author Price, David
Showing results 2 to 5 of 5
Guiding a theorem prover with soft constraints
Author(s) | Slaney, John K; Binas, Arnold; Price, David |
---|---|
Type | Conference paper |
Date Published | 2004 |
Date Created | August 22-27 2004 |
Implementation and Comparison of Solution Methods for Decision Processes with Non-Markovian Rewards
Author(s) | Gretton, Charles; Price, David; Thiebaux, Sylvie |
---|---|
Type | Conference paper |
Date Published | 2003 |
Date Created | August 7 2003 |
NMRDPP: A System for Decision-theoretic Planning with Non-Markovian Rewards
Author(s) | Gretton, Charles; Price, David; Thiebaux, Sylvie |
---|---|
Type | Conference paper |
Date Published | 2003 |
Date Created | June 9 2003 |
Short course montelukast for intermittent asthma in children: a randomised controlled trial
Author(s) | Robertson, Colin F; Price, David; Henry, Richard, et al |
---|---|
Type | Journal article |
Date Published | 2007 |
Date Created | - |
- previous
- 1
- next
Updated: 12 April 2016/ Responsible Officer: University Librarian/ Page Contact: Library Systems & Web Coordinator