3053 search results - page 286 / 611 » Hybrid Systems Diagnosis |
192
click to vote
WSCG
2000
15 years 8 months ago
2000
One of the biggest areas of scientific visualization (ViSC) application is Medicine: with the evolution of image acquisition techniques the capacity and fidelity of image diagnosi...
179
click to vote
CADE
2008
Springer
16 years 7 months ago
2008
Springer
Abstract. We present the first terminating tableau calculus for basic hybrid logic with the difference modality and converse modalities. The language under consideration is basic m...
169
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
—This video submission presents the experimental validation and testing of a novel Hybrid Mobile Robot (HMR) system design using a complete physical prototype. The HMR consists o...
224
click to vote
DSOM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We propose a novel hybrid planning approach for the automated generation of IT change plans. The algorithm addresses an abstraction mismatch between refinement of tasks ...
193
click to vote
ECRTS
2007
IEEE
16 years 1 months ago
2007
IEEE
We propose a hybrid approach for scheduling real-time tasks on large-scale multicore platforms with hierarchical shared caches. In this approach, a multicore platform is partition...