1569 search results - page 145 / 314 » Using Organic Computing to Control Bunching Effects |
135
Voted
ADS
2004
Springer
15 years 7 months ago
2004
Springer
We discuss the affective aspects of tutoring dialogues in an ITS -called INES- that helps students to practice nursing tasks using a haptic device and a virtual environment. Specia...
147
Voted
DAC
1997
ACM
15 years 7 months ago
1997
ACM
We present our experiences with the formal verification of an automotive chip used to control the safety features in a car. We used a BDD based model checker in our work. We descr...
135
Voted
SCFBM
2008
15 years 3 months ago
2008
Background: Ultrasound scanning uses the medical imaging format, DICOM, for electronically storing the images and data associated with a particular scan. Large health care facilit...
136
Voted
FGCS
2007
15 years 3 months ago
2007
Grid computing is a newly developed technology for complex systems with large-scale resource sharing and multi-institutional collaboration. The prominent feature of grid computing...
131
Voted
HRI
2009
ACM
15 years 10 months ago
2009
ACM
The present study investigates the effect of the number of controlled robots on performance of an urban search and rescue (USAR) task using a realistic simulation. Participants co...