Sciweavers

904 search results - page 57 / 181
» Towards practical meta-querying
Sort
View
IEEEARES
2006
IEEE
15 years 11 months ago
Towards an Integrated Conceptual Model of Security and Dependability
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...
Erland Jonsson
136
Voted
IROS
2006
IEEE
100views Robotics» more  IROS 2006»
15 years 11 months ago
Toward Interactive Reaching in Static Environments for Humanoid Robots
— Reaching is a critical task for humanoid robots, requiring the application of state-of-the-art algorithms for motion planning and inverse kinematics. Practical algorithms for s...
Evan Drumwright, Victor Ng-Thow-Hing
ECBS
2005
IEEE
92views Hardware» more  ECBS 2005»
15 years 11 months ago
Towards a Systemic Approach to Autonomic Systems Engineering
An autonomic system is structured as a network of autonomic elements that collaborate to achieve the system’s purpose. This paper examines the potential benefit of using well-es...
David W. Bustard, Roy Sterritt, A. Taleb-Bendiab, ...
ICDAR
2005
IEEE
15 years 11 months ago
Towards a Canonical and Structured Representation of PDF Documents through Reverse Engineering
This article presents Xed, a reverse engineering tool for PDF documents, which extracts the original document layout structure. Xed mixes electronic extraction methods with state-...
Maurizio Rigamonti, Jean-Luc Bloechle, Karim Hadja...
QEST
2005
IEEE
15 years 11 months ago
An approximation algorithm for labelled Markov processes: towards realistic approximation
Abstract— Approximation techniques for labelled Markov processes on continuous state spaces were developed by Desharnais, Gupta, Jagadeesan and Panangaden. However, it has not be...
Alexandre Bouchard-Côté, Norm Ferns, ...