1716 search results - page 217 / 344 » Proving Conditional Termination |
123
click to vote
DALT
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We propose an extension of action theories to intention theories in the framework of situation calculus. Moreover the method for implementing action theories is adapted t...
ERCIMDL
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. A policy is a statement that an action is permitted or forbidden if certain conditions hold. We introduce a language for reasoning about policies called Rosetta. What mak...
100
click to vote
ICFEM
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. In this paper we present a technique for the Spin tool, inspired by practical experiences with Spin and a FireWire protocol. We show how to guide simulations with Spin, b...
ISMIR
2004
Springer
15 years 6 months ago
2004
Springer
In this work, musical instrument recognition is considered on solo music from real world performance. A large sound database is used that consists of musical phrases excerpted fro...
151
click to vote
CLUSTER
2003
IEEE
15 years 6 months ago
2003
IEEE
Moldable job scheduling has been proved to be effective compared to traditionaljob scheduling policies. It is based on the observation that most jobs submitted to a spaceshared pa...