Sciweavers

1616 search results - page 177 / 324
» A Framework for Hybrid Planning
Sort
View
MICCAI
1999
Springer
14 years 2 months ago
Automatic Segmentation of Lung Fields in Chest Radiographs
We present algorithms for the automatic delineation of lung fields in chest radiographs. We first develop a rule-based scheme that detects lung contours using a general framework...
Bram van Ginneken, Bart M. ter Haar Romeny
PRICAI
1998
Springer
14 years 2 months ago
Knowledge-Based Formulation of Dynamic Decision Models
We present a new methodology to automate decision making over time and uncertainty. We adopt a knowledge-based model construction approach to support automated and interactive form...
Chenggang Wang, Tze-Yun Leong
HYBRID
2010
Springer
14 years 3 days ago
On infinity norms as Lyapunov functions for piecewise affine systems
This paper considers off-line synthesis of stabilizing static feedback control laws for discrete-time piecewise affine (PWA) systems. Two of the problems of interest within this f...
Mircea Lazar, Andrej Jokic
FLAIRS
2006
13 years 11 months ago
Reasoning about Knowledge and Continuity
The aim of this paper is to extend the modal logic of knowledge due to Moss and Parikh by state transformers arising, eg, from actions of agents. The peculiarity of Moss and Parik...
Bernhard Heinemann
AAAI
2000
13 years 11 months ago
Bayesian Fault Detection and Diagnosis in Dynamic Systems
This paper addresses the problem of tracking and diagnosing complex systems with mixtures of discrete and continuous variables. This problem is a difficult one, particularly when ...
Uri Lerner, Ronald Parr, Daphne Koller, Gautam Bis...