6167 search results - page 118 / 1234 » Can Refinement be Automated |
150
click to vote
DLOG
2007
15 years 6 months ago
2007
Abstract. The DL implementation group (DIG) has specified a common interface for description logic reasoner. While the original intention was to make it easier for other tools to ...
119
click to vote
JLP
1998
15 years 4 months ago
1998
Using constraint logic techniques, it is made possible to use a wellknown metainterpreter backwards as a device for generating programs. A metainterpreter is developed, which prov...
168
click to vote
ISBI
2004
IEEE
16 years 5 months ago
2004
IEEE
Fluorescence microscopy is widely used to analyze the distribution of proteins within cells. As currently practiced, the assignment of a protein to a particular organelle is done ...
142
click to vote
ISBI
2008
IEEE
16 years 5 months ago
2008
IEEE
A major source of information for identifying subcellular location on a proteome-wide basis will be imaging of tagged proteins in living cells using fluorescence microscopy. We ha...
149
click to vote
CADE
2008
Springer
16 years 4 months ago
2008
Springer
We propose a procedure for automated implicit inductive theorem proving for equational specifications made of rewrite rules with conditions and constraints. The constraints are int...