4555 search results - page 349 / 911 » Deductive Algorithmic Knowledge |
157
click to vote
CMSB
2009
Springer
15 years 10 months ago
2009
Springer
Recently, there has been considerable interest in the use of Model Checking for Systems Biology. Unfortunately, the state space of stochastic biological models is often too large f...
110
click to vote
AIME
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In the current paper, the Promedas model for internal medicine, developed by our team, is introduced. The model is based on up-todate medical knowledge and consists of ap...
162
click to vote
ECML
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Constrained clustering investigates how to incorporate domain knowledge in the clustering process. The domain knowledge takes the form of constraints that must hold on th...
117
click to vote
GECCO
2007
Springer
15 years 10 months ago
2007
Springer
This paper presents Fuzzy-UCS, a Michigan-style Learning Fuzzy-Classifier System designed for supervised learning tasks. Fuzzy-UCS combines the generalization capabilities of UCS...
113
click to vote
LFCS
2007
Springer
15 years 10 months ago
2007
Springer
LP can be seen as a logic of knowledge with justifications. Artemov’s Realization Theorem says justifications can be extracted from validities in the more conventional Hintikk...