1005 search results - page 23 / 201 » Patterns for Refinement Automation |
AAAI
1998
13 years 8 months ago
1998
Existingautomatedmodellingsystemseitherrely on large, complexlibrariesor requirecompleteaccessto the modelledsystem'sbehaviour,neitherof whichis desirable,To addresstheseprob...
CANDT
2009
13 years 11 months ago
2009
We present NodeXL, an extendible toolkit for network overview, discovery and exploration implemented as an add-in to the Microsoft Excel 2007 spreadsheet software. We demonstrate ...
KR
1998
Springer
13 years 11 months ago
1998
Springer
The initiative in STRIPS planning has recently been taken by work on propositional satisfiability. Best current planners, like Graphplan, and earlier planners originating in the p...
CADE
2008
Springer
14 years 7 months ago
2008
Springer
We present a tool for automatic generation of packed bitfields and tagged unions for systems-level C, along with automatic, machine checked refinement proofs in Isabelle/HOL. Our a...
BMCBI
2010
13 years 7 months ago
2010
Background: The Medium-chain Dehydrogenases/Reductases (MDR) form a protein superfamily whose size and complexity defeats traditional means of subclassification; it currently has ...