4617 search results - page 604 / 924 » Automation of Diagrammatic Reasoning |
193
click to vote
CSL
2008
Springer
15 years 9 months ago
2008
Springer
Type-based termination is a semantically intuitive method that ensures termination of recursive definitions by tracking the size of datatype elements, and by checking that recursiv...
243
click to vote
CSL
2008
Springer
15 years 9 months ago
2008
Springer
This paper presents a novel strategy improvement algorithm for parity and payoff games, which is guaranteed to select, in each improvement step, an optimal combination of local str...
205
click to vote
DEON
2008
Springer
15 years 9 months ago
2008
Springer
The security policy of an information system may include a wide range of different requirements. The literature has primarily focused on access and information flow control require...
243
click to vote
EWCBR
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. Case-based planning (CBP) is based on reusing past successful plans for solving new problems. CBP is particularly useful in environments where the large amount of time re...
205
click to vote
EWCBR
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. This paper presents a case-based approach to decision support for diabetes management in patients with Type 1 diabetes on insulin pump therapy. To avoid serious disease c...