Sciweavers

3008 search results - page 353 / 602
» Information and Control in Gray-Box Systems
Sort
View
DAC
2006
ACM
16 years 7 months ago
Efficient detection and exploitation of infeasible paths for software timing analysis
Accurate estimation of the worst-case execution time (WCET) of a program is important for real-time embedded software. Static WCET estimation involves program path analysis and ar...
Vivy Suhendra, Tulika Mitra, Abhik Roychoudhury, T...
ACISICIS
2007
IEEE
16 years 1 months ago
Nanorobots for Laparoscopic Cancer Surgery
This paper presents an innovative hardware architecture for medical nanorobots, using nanobioelectronics, clinical data, and wireless technologies, as embedded integrated system d...
Adriano Cavalcanti, Bijan Shirinzadeh, Declan Murp...
HRI
2006
ACM
16 years 20 days ago
Usability evaluation of an automated mission repair mechanism for mobile robot mission specification
This paper describes a usability study designed to assess ease of use, user satisfaction, and performance of a mobile robot mission specification system. The software under consid...
Lilia Moshkina, Yoichiro Endo, Ronald C. Arkin
SPATIALCOGNITION
2000
Springer
15 years 10 months ago
Coarse Qualitative Descriptions in Robot Navigation
This work is about the integration of the skills robot control, landmark recognition, and qualitative reasoning in a single autonomous mobile system. It deals with the transfer of ...
Rolf Müller, Thomas Röfer, Axel Lankenau...
CAISE
2006
Springer
15 years 8 months ago
Incremental Workflow Mining for Process Flexibility
Abstract. Incremental workflow mining is a technique for automatically deriving a process model from the on-going executions of a process. This way, the process model becomes more ...
Ekkart Kindler, Vladimir Rubin, Wilhelm Schäf...