331 search results - page 33 / 67 » A Generic Adaptivity Model in Adaptive Hypermedia |
TYPES
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Most approaches to the formal analysis of cryptography protocols make the perfect cryptographic assumption, which entails for example that there is no way to obtain knowl...
EDUTAINMENT
2007
Springer
14 years 2 months ago
2007
Springer
Most storytelling model approaches consider stories formed by sequences of a particular type of event. These sequences are mostly constructed using the inherent temporal characteri...
MICCAI
2002
Springer
14 years 9 months ago
2002
Springer
This paper proposes a computer-assisted system for the surgical treatment of exophthalmia. This treatment is classically characterized by a decompression of the orbit, by the mean ...
WSDM
2012
ACM
12 years 4 months ago
2012
ACM
Many factorization models like matrix or tensor factorization have been proposed for the important application of recommender systems. The success of such factorization models dep...
QEST
2007
IEEE
14 years 2 months ago
2007
IEEE
We give an overview of GRIP, a symmetry reduction tool for the probabilistic model checker PRISM, together with experimental results for a selection of example specifications. 1 ...