Sciweavers

77016 search results - page 222 / 15404
» Modeling
Sort
View
138
Voted
AH
2008
Springer
15 years 10 months ago
Assisting in Reuse of Adaptive Hypermedia Creator's Models
The design of Adaptive Hypermedia is a difficult task which can be made easier if generic systems and AH creators’ models are reused. We address this design problem in the settin...
Nadjet Zemirline, Yolaine Bourda, Chantal Reynaud,...
IJCNN
2007
IEEE
15 years 10 months ago
Incorporating Forgetting in a Category Learning Model
— We present a computational model of human category learning that learns the essential structures of the categories by forgetting information that is not useful for the given ta...
Yasuaki Sakamoto, Toshihiko Matsuka
ISBI
2007
IEEE
15 years 10 months ago
A Fractal Multi-Dimensional Ultrasound Scatterer Distribution Model
This paper presents a multi-dimensional point scatterer distribution model for the context of ultrasound image simulation. The model has a simple parameterisation, has low computa...
Catherine Laporte, James J. Clark, Tal Arbel
QEST
2007
IEEE
15 years 10 months ago
Probabilistic Model Checking Modulo Theories
— Probabilistic models are widely used to analyze embedded, networked, and more recently biological systems. Existing numerical analysis techniques are limited to finitestate mo...
Björn Wachter, Lijun Zhang, Holger Hermanns
TASE
2007
IEEE
15 years 10 months ago
Model Checking Networked Programs in the Presence of Transmission Failures
Software model checkers work directly on single-process programs, but not on multiple processes. Conversion of processes into threads, combined with a network model, allows for mo...
Cyrille Artho, Christian Sommer 0002, Shinichi Hon...
« Prev « First page 222 / 15404 Last » Next »