573 search results - page 14 / 115 » Diagnosis of Discrete-Event Systems Using Satisfiability Alg... |
SIMULATION
2011
13 years 2 months ago
2011
From a modelling and simulation perspective, studying dynamic systems consists of focusing on changes in states. According to the precision of state changes, generic algorithms ca...
ICVGIP
2008
13 years 8 months ago
2008
In recent years, the subject of occlusion culling of large 3D environments has received substantial contribution. However the major amount of research into the area has focussed o...
ICFEM
2009
Springer
13 years 5 months ago
2009
Springer
In this paper we continue the study of a strict extension of the Computation Tree Logic, called graded-CTL, recently introduced by the same authors. This new logic augments the sta...
AINA
2006
IEEE
13 years 11 months ago
2006
IEEE
This work presents a proposal to diagnose distributed systems utilizing model-based diagnosis using distributed databases. In order to improve aspects as versatility, persistence,...
IBPRIA
2003
Springer
14 years 18 days ago
2003
Springer
This paper presents a system for 3D ultrasound which aims to reconstruct a volume of interest from a set of ultrasound images. A Bayesian reconstruction algorithm has been recently...