10159 search results - page 1795 / 2032 » System Design Validation Using Formal Models |
204
click to vote
IEAAIE
2000
Springer
15 years 10 months ago
2000
Springer
Enabling a domain expert to maintain his own knowledge in a Knowledge Based System has long been an ideal for the Knowledge Engineering community. In this paper we report on our ex...
185
click to vote
ICC
2009
IEEE
16 years 1 months ago
2009
IEEE
—We consider a system with a single base station communicating with multiple users over orthogonal channels while being assisted by multiple relays. Several recent works have sug...
155
click to vote
ICALT
2006
IEEE
16 years 20 days ago
2006
IEEE
This paper describes an approach for modeling and implementing a collaborative learning situation, which is part of a real lifelong learning scenario in astronomy. We adopt and sl...
169
click to vote
IROS
2006
IEEE
16 years 19 days ago
2006
IEEE
Information processing within autonomous robots should follow a biomimetic approach. In contrast to traditional approaches that make intensive use of accurate measurements, numeric...
206
click to vote
HAPTICS
2005
IEEE
16 years 7 days ago
2005
IEEE
The Haptic Paddle was developed previously as an inexpensive haptic device for educational use, and has been applied to course topics such as dynamic systems and introductory cont...