9284 search results - page 20 / 1857 » Knowledge State Algorithms |
CADE
2008
Springer
14 years 8 months ago
2008
Springer
This paper describes the integration of the ATP support of the TPTPWorld into the Sigma Knowledge Engineering Environment. The result is an interactive knowledge based reasoning en...
SBMF
2010
Springer
13 years 3 months ago
2010
Springer
Designers of concurrent and distributed algorithms usually express them using pseudo-code. In contrast, most verification techniques are based on more mathematically-oriented forma...
TARK
2007
Springer
14 years 2 months ago
2007
Springer
We examine four approaches for dealing with the logical omniscience problem and their potential applicability: the syntactic approach, awareness, algorithmic knowledge, and imposs...
HM
2010
Springer
13 years 8 months ago
2010
Springer
In this paper we consider solving a complex real life break scheduling problem. This problem of high practical relevance arises in many working areas, e.g. in air traffic control a...
IPL
2007
13 years 8 months ago
2007
Intensity modulated radiation therapy (IMRT) is one of the most effective modalities for modern cancer treatment. The key to successful IMRT treatment hinges on the delivery of a...