Sciweavers

1816 search results - page 58 / 364
» Formal Concepts of Learning Systems Validation in Use
Sort
View
DLOG
2008
15 years 7 months ago
Ontology Refinement through Role Assertion Analysis: Example in Pharmacogenomics
We propose an approach for extending domain knowledge represented in DL ontology by using knowledge extraction methods on ontology assertions. Concept and role assertions are extra...
Adrien Coulet, Malika Smaïl-Tabbone, Amedeo N...
170
Voted
COMAD
2009
15 years 5 months ago
Categorizing Concepts for Detecting Drifts in Stream
Mining evolving data streams for concept drifts has gained importance in applications like customer behavior analysis, network intrusion detection, credit card fraud detection. Se...
Sharanjit Kaur, Vasudha Bhatnagar, Sameep Mehta, S...
WEBI
2004
Springer
15 years 10 months ago
Adaptation and Personalization in Web-based Learning Support Systems
In order to achieve optimal efficiency in a learning process, individual learner needs his/her own personalized assistance. For a web-based open and dynamic learning environment, ...
Lisa Fan
119
Voted
RIVF
2007
15 years 6 months ago
Generalized Percolation Processes Using Pretopology Theory
Abstract— We propose in this paper a generalization of percolation processes in Z2 using the pretopology theory. We formalize the notion of neighborhood by extending it to the co...
Soufian Ben Amor, V. Levorato, Ivan Lavallé...
127
Voted
TPHOL
2009
IEEE
15 years 11 months ago
Formal Analysis of Optical Waveguides in HOL
Optical systems are becoming increasingly important as they tend to resolve many bottlenecks in the present age communications and electronics. Some common examples include their u...
Osman Hasan, Sanaz Khan Afshar, Sofiène Tah...