6978 search results - page 1186 / 1396 » On Proofs in System P |
AIEDU
2007
13 years 10 months ago
2007
This paper describes a reflection-based approach for open learner modeling (OLM). Tutoring dialogues are used by learners to explicitly reveal their own knowledge state to themselv...
BMCBI
2010
13 years 10 months ago
2010
Background: Antibacterial peptides are one of the effecter molecules of innate immune system. Over the last few decades several antibacterial peptides have successfully approved a...
CORR
2010
Springer
13 years 10 months ago
2010
Springer
The main focus of image mining in the proposed method is concerned with the classification of brain tumor in the CT scan brain images. The major steps involved in the system are: p...
CORR
2010
Springer
13 years 10 months ago
2010
Springer
Abstract: Numerical solutions to fractional differential equations can be extremely computationally intensive due to the effect of non-local derivatives in which all previous time ...
CORR
2010
Springer
13 years 10 months ago
2010
Springer
The proliferation of commercial cloud computing providers has generated significant interest in the scientific computing community. Much recent research has attempted to determine...