1054 search results - page 38 / 211 » From a Verified Kernel towards Verified Systems |
108
click to vote
CCE
2007
15 years 3 months ago
2007
: The concept of Virtual Organisation (VO) offers various solutions to management, collaboration and coordination issues important for distributed collaborating teams. Deployment o...
ENTCS
2008
15 years 2 months ago
2008
We present the current state of our STSLib project. This project aims at defining an environment to formally specify and execute software components. One important feature is that...
141
click to vote
FAC
2008
15 years 2 months ago
2008
Abstract. Model checking of real-time systems against Duration Calculus (DC) specifications requires the translation of DC formulae into automata-based semantics. The existing algo...
111
click to vote
PAMI
2002
15 years 1 months ago
2002
A modular system to recognize handwritten numerical strings is proposed. It uses a segmentation-based recognition approach and a Recognition and Verification strategy. The approach...
156
click to vote
CVPR
2012
IEEE
13 years 4 months ago
2012
IEEE
We introduce a new approach to structure and motion recovery directly from one or more large planes in the scene. When such a plane exists, we demonstrate how to automatically det...