7861 search results - page 463 / 1573 » Orthographic Modeling Environment |
148
Voted
AIED
2009
Springer
16 years 1 months ago
2009
Springer
We present a novel phoneme-based student model for spelling training. Our model is data driven, adapts to the user and provides information for, e.g., optimal word selection. We de...
136
click to vote
OOPSLA
2009
Springer
16 years 1 months ago
2009
Springer
Model transformation languages, the cornerstone of Modelngineering, often lack mechanisms for abstraction, reuse and debugging. We propose a model transformation k providing diffe...
195
click to vote
SPIN
2009
Springer
16 years 1 months ago
2009
Springer
This paper describes a set of software tools developed for teaching concurrency and model checking. jSpin is an elementary development environment for Spin that formats and filter...
169
Voted
ICRA
2006
IEEE
16 years 27 days ago
2006
IEEE
— Communication skill is essential for social robots in various environments such as homes, offices, and hospitals, where the robots are expected to interact with humans. In thi...
187
Voted
IEEEARES
2006
IEEE
16 years 27 days ago
2006
IEEE
It is now commonly accepted that security and dependability largely represent two different aspects of an overall meta-concept that reflects the trust that we put in a computer s...