4211 search results - page 652 / 843 » Types as Abstract Interpretations |
166
click to vote
BMCBI
2008
15 years 5 months ago
2008
Background: The exponential growth of research in molecular biology has brought concomitant proliferation of databases for stocking its findings. A variety of protein sequence dat...
165
click to vote
BMCBI
2008
15 years 5 months ago
2008
nd: Biological pathways are a useful abstraction of biological concepts, and software tools to deal with pathway diagrams can help biological research. PathVisio is a new visualiz...
135
click to vote
CORR
2006
Springer
15 years 5 months ago
2006
Springer
We investigate here concept learning from incomplete examples. Our first purpose is to discuss to what extent logical learning settings have to be modified in order to cope with da...
170
Voted
BMCBI
2007
15 years 5 months ago
2007
Background: Manual curation of biological databases, an expensive and labor-intensive process, is essential for high quality integrated data. In this paper we report the implement...
144
click to vote
EXPERT
2006
15 years 5 months ago
2006
on abstract principles that you can't easily apply in a formal, deductive fashion. So, the favorite tools of logicians and mathematicians, such as firstorder logic, aren'...