23004 search results - page 4483 / 4601 » Evaluation of Adaptive Systems |
OOPSLA
2009
Springer
15 years 4 months ago
2009
Springer
The high degree of complexity and autonomy of future robotic space missions, such as Mars Science Laboratory (MSL), poses serious challenges in assuring their reliability and efļ¬...
SEMWEB
2009
Springer
15 years 4 months ago
2009
Springer
The ļ¬eld of biomedicine has embraced the Semantic Web probably more than any other ļ¬eld. As a result, there is a large number of biomedical ontologies covering overlapping area...
SPIN
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Symbolic reachability analysis provides a basis for the veriļ¬cation of software systems by oļ¬ering algorithmic support for the exploration of the program state space ...
ACMACE
2009
ACM
15 years 4 months ago
2009
ACM
When it comes to motivating teenagers towards energy awareness, new approaches need to be considered. One such is the use of pervasive games connected to the players own energy co...
AUTOMOTIVEUI
2009
ACM
15 years 4 months ago
2009
ACM
Auditory display research for driving has mainly focused on collision warning signals, and recent studies on auditory invehicle information presentation have examined only a limit...