5352 search results - page 261 / 1071 » Modeling the socio-cultural context |
172
click to vote
ESOP
2005
Springer
16 years 8 days ago
2005
Springer
ite-state abstraction scheme such as predicate abstraction. The type system, which is also parametric, type checks exactly those programs that are accepted by the model checker. It...
153
click to vote
GECCO
2005
Springer
16 years 7 days ago
2005
Springer
We explore the use of information models as a guide for the development of single objective optimization algorithms, giving particular attention to the use of Bayesian models in a...
155
click to vote
PROFES
2005
Springer
16 years 6 days ago
2005
Springer
Content adaptable applications are often used in ubiquitous computing environment, and it aims to service the adaptable contents to users. In this environment, the services are dyn...
177
click to vote
UM
2005
Springer
16 years 6 days ago
2005
Springer
This paper is concerned with user modelling issues such as adaptive educational environments, adaptive information retrieval, and support for collaboration. The HomeWork project is...
193
click to vote
ICRA
2000
IEEE
15 years 11 months ago
2000
IEEE
in Proceedings of the 2000 IEEE International Conference on Robotics and Automation, San Francisco, April 2000 The augmented object model provided the basis for effective coopera...