4573 search results - page 307 / 915 » Automated Reasoning |
185
click to vote
ICCBR
2005
Springer
16 years 7 days ago
2005
Springer
The rapid growth of data stored in molecular biology-related databases has stimulated the development of integrative tools for retrieval and presentation of the data in the form of...
164
click to vote
LPAR
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. The mechanisation of proofs for probabilistic systems is particularly challenging due to the verification of real-valued properties that probability entails: experience ...
149
click to vote
AIIA
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. Game generation systems perform automated, intelligent design of games (i.e. videogames, boardgames), reasoning about both the rule system of the game and the visual real...
150
click to vote
IAAI
2001
15 years 8 months ago
2001
This paper describes issues related to integrating image analysis techniques into case-based reasoning. Although the approach is generic, a high-throughput protein crystallization...
158
Voted
CADE
2008
Springer
16 years 7 months ago
2008
Springer
Rely-guarantee (RG) reasoning is useful for modular Hoare-style proofs of concurrent programs. However, RG requires that assertions be proved stable under the actions of the enviro...