13 search results - page 3 / 3 » An inheritance-based technique for building simulation proof... |
ROBOCUP
2007
Springer
14 years 11 days ago
2007
Springer
Abstract. Two main challenges of robot action planning in real domains are uncertain action effects and dynamic environments. In this paper, an instance-based action model is lear...
SIGCSE
2006
ACM
14 years 6 days ago
2006
ACM
Traditionally, the topics of compiler construction and language processing have been taught as an elective course in Computer Science curricula. As such, students may graduate wit...
PPOPP
2003
ACM
13 years 11 months ago
2003
ACM
Large-scale cluster-based Internet services often host partitioned datasets to provide incremental scalability. The aggregation of results produced from multiple partitions is a f...