10462 search results - page 172 / 2093 » Towards an |
AIME
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. Prominent biomedical literature search tools like ScienceDirect, PubMed Central or MEDLINE allow for efficient retrieval of resources based on key words. Due to vast amou...
AIED
2009
Springer
14 years 5 months ago
2009
Springer
In this paper we report our work on introducing adaptations of the learner model’s presentation in adaptive educational systems, in order to bring a healthy balance between the u...
ASIACRYPT
2009
Springer
14 years 5 months ago
2009
Springer
The design of cryptographic hash functions is a very complex and failure-prone process. For this reason, this paper puts forward a completely modular and fault-tolerant approach to...
BICOB
2009
Springer
14 years 5 months ago
2009
Springer
Atomistic molecular dynamics (MD) simulations are a vital tool in chemical research, as they are able to provide a view of chemical systems and processes that is not obtainable thr...
BPM
2009
Springer
14 years 5 months ago
2009
Springer
Process mining refers to the extraction of process models from event logs. Real-life processes tend to be less structured and more flexible. Traditional process mining algorithms ...