Sciweavers

6167 search results - page 84 / 1234
» Can Refinement be Automated
Sort
View
GECCO
2008
Springer
184views Optimization» more  GECCO 2008»
15 years 5 months ago
Analysis of mammography reports using maximum variation sampling
A genetic algorithm (GA) was developed to implement a maximum variation sampling technique to derive a subset of data from a large dataset of unstructured mammography reports. It ...
Robert M. Patton, Barbara G. Beckerman, Thomas E. ...
BMCBI
2007
121views more  BMCBI 2007»
15 years 4 months ago
Predicting zinc binding at the proteome level
Background: Metalloproteins are proteins capable of binding one or more metal ions, which may be required for their biological function, for regulation of their activities or for ...
Andrea Passerini, Claudia Andreini, Sauro Menchett...
ECOOP
2000
Springer
15 years 8 months ago
Automated Test Case Generation from Dynamic Models
We have recently shown how use cases can be systematically transformed into UML state charts considering all relevant information from a use case specification, including pre- and ...
Peter Fröhlich, Johannes Link
BMCBI
2008
89views more  BMCBI 2008»
15 years 4 months ago
An incremental approach to automated protein localisation
Background: The subcellular localisation of proteins in intact living cells is an important means for gaining information about protein functions. Even dynamic processes can be ca...
Marko Tscherepanow, Nickels Jensen, Franz Kummert
CORR
2008
Springer
151views Education» more  CORR 2008»
15 years 4 months ago
Checking the Quality of Clinical Guidelines using Automated Reasoning Tools
Requirements about the quality of clinical guidelines can be represented by schemata borrowed from the theory of abductive diagnosis, using temporal logic to model the time-orient...
Arjen Hommersom, Peter J. F. Lucas, Patrick van Bo...