43264 search results - page 8256 / 8653 » Comparing models of computation |
120
Voted
AAAI
2004
15 years 4 months ago
2004
The relation between answer set programming (ASP) and propositional satisfiability (SAT) is at the center of many research papers, partly because of the tremendous performance boo...
123
Voted
ACE
2004
15 years 4 months ago
2004
Final year students in the Bachelor of Computing complete an industry project where they work in teams to build an IT system for an external client. Grading projects in these circ...
138
Voted
AAAI
2006
15 years 4 months ago
2006
We present an algorithm that derives actions' effects and preconditions in partially observable, relational domains. Our algorithm has two unique features: an expressive rela...
146
Voted
AAAI
2006
15 years 4 months ago
2006
Partially observable Markov decision processes (POMDPs) are an intuitive and general way to model sequential decision making problems under uncertainty. Unfortunately, even approx...
144
Voted
APVIS
2004
15 years 4 months ago
2004
Resection or ablation of tumours is one treatment available for liver cancer. This delicate operation consists of removing the tumour(s) and surrounding healthy tissues. The surge...