936 search results - page 145 / 188 » Mathematical Models of Endocrine Systems |
143
Voted
AAMAS
2010
Springer
15 years 19 days ago
2010
Springer
Abstract In this paper, we present a human-robot teaching framework that uses "virtual" games as a means for adapting a robot to its user through natural interaction in a...
103
Voted
FSS
2008
15 years 16 days ago
2008
Fuzzy associative memories (FAMs) can be used as a powerful tool for implementing fuzzy rule-based systems. The insight that FAMs are closely related to mathematical morphology (M...
90
Voted
AIEDU
2005
15 years 12 days ago
2005
In this paper, we explore the problem of selecting appropriate interventions for students based on an analysis of their interactions with a tutoring system. In the context of the W...
124
click to vote
TAP
2010
Springer
14 years 10 months ago
2010
Springer
Program verification systems based on automated theorem provers rely on user-provided axioms in order to verify domain-specific properties of code. However, formulating axioms corr...
ICSE
2008
IEEE-ACM
16 years 1 months ago
2008
IEEE-ACM
Model-based development is becoming an increasingly common development methodology. In important domains like embedded systems already major parts of the code are generated from m...