564 search results - page 96 / 113 » Proof General: A Generic Tool for Proof Development |
ACMACE
2005
ACM
13 years 9 months ago
2005
ACM
Current commercial AI middleware are still far from being a generic and flexible tool for developing computer games. Also the literature lacks proposals in this field. In this w...
26
Voted
BMCBI
2006
13 years 7 months ago
2006
Background: With the advent of high-throughput proteomic experiments such as arrays of purified proteins comes the need to analyse sets of proteins as an ensemble, as opposed to t...
ASM
2003
ASM
14 years 26 days ago
2003
ASM
r in: Abstract State Machines 2003 — Advances in Theory and Applications, Proc. 10th International Workshop, Taormina, Italy, March 3-7, 2003, eds. Egon Boerger, Angelo Gargantin...
WWW
2004
ACM
14 years 8 months ago
2004
ACM
Usually, the success of systems using automatic course sequencing depends strongly on careful authoring and foreseeing of all curriculum alternatives before any learning session e...
WEBENG
2001
Springer
14 years 1 days ago
2001
Springer
This paper introduces the Web Engineering Resources Portal (shortly WEP), as a basic Reference Model and Guide for the Web Engineers. WEP provides a general classification of Web E...