904 search results - page 57 / 181 » Towards practical meta-querying |
IEEEARES
2006
IEEE
15 years 3 months ago
2006
IEEE
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...
IROS
2006
IEEE
15 years 3 months ago
2006
IEEE
— 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...
ECBS
2005
IEEE
15 years 3 months ago
2005
IEEE
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...
ICDAR
2005
IEEE
15 years 3 months ago
2005
IEEE
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-...
QEST
2005
IEEE
15 years 3 months ago
2005
IEEE
Abstract— Approximation techniques for labelled Markov processes on continuous state spaces were developed by Desharnais, Gupta, Jagadeesan and Panangaden. However, it has not be...