5599 search results - page 73 / 1120 » Abstract State Services |
139
click to vote
TPHOL
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract. This pearl examines how to verify functional programs written using the state monad. It uses Coq’s Program framework to provide strong specifications for the standard ...
100
click to vote
FASE
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. Collaboration diagrams as described in the official UML documents specify patterns of system structure and interaction. In this paper, we propose their use for specifying...
112
click to vote
ECAI
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. We propose a very general syntactical notion of epistemic state and a compact axiomatization for iterated revision when the new information is an epistemic state. We set ...
124
click to vote
WSC
2000
15 years 3 months ago
2000
Many artificial intelligence techniques rely on the notion ate" as an abstraction of the actual state of the nd an "operator" as an abstraction of the actions that ...
100
click to vote
GECCO
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. This paper investigates the use of a steady state genetic algorithm (GA) to perform quadrilateral finite element mesh smoothing. GAS short for genetic algorithm smoother...