5639 search results - page 966 / 1128 » Timed Abstract Non-interference |
113
click to vote
JOT
2010
15 years 11 days ago
2010
In self-adaptive systems components are dynamically modified according to the execution environment requirement, where each component is a probable point of failure. Existing appr...
114
click to vote
MATES
2010
Springer
15 years 11 days ago
2010
Springer
Abstract. Demand responsive transportation has the potential to provide efficient public door-to-door transport with a high quality. In currently implemented systems in the Netherl...
134
click to vote
MFCS
2010
Springer
15 years 10 days ago
2010
Springer
Abstract. We address the strategy problem for parity games with partial information and observable colors, played on finite graphs of bounded graph complexity. We consider several...
131
click to vote
MIAR
2010
IEEE
15 years 10 days ago
2010
IEEE
Abstract. Electromagnetic navigation bronchoscopy requires the accurate registration of a preinterventional computed tomography (CT) image to the coordinate system of the electroma...
124
click to vote
MICCAI
2010
Springer
15 years 10 days ago
2010
Springer
Abstract. We apply sparse Bayesian learning methods, automatic relevance determination (ARD) and predictive ARD (PARD), to Alzheimer’s disease (AD) classification to make accura...