Sciweavers

3995 search results - page 67 / 799
» Linearization of hybrid processes
Sort
View
ICIP
2007
IEEE
15 years 8 months ago
Bayesian Example Based Segmentation using a Hybrid Energy Model
This paper describes a supervised segmentation algorithm which draws inspiration from recent advances in non-parametric texture synthesis. A set of example images which have been ...
Claire Gallagher, Anil C. Kokaram
NGITS
1999
Springer
15 years 11 months ago
From Object-Process Diagrams to a Natural Object-Process Language
As the requirements for system analysis and design become more complex, the need for a natural, yet formal way of specifying system analysis findings and design decisions are becom...
Mor Peleg, Dov Dori
HYBRID
2010
Springer
16 years 1 months ago
Timed automata with observers under energy constraints
In this paper we study one-clock priced timed automata in which prices can grow linearly ( ˙p = k) or exponentially ( ˙p = kp), with discontinuous updates on edges. We propose E...
Patricia Bouyer, Uli Fahrenberg, Kim G. Larsen, Ni...
HYBRID
2009
Springer
16 years 1 months ago
Safe and Secure Networked Control Systems under Denial-of-Service Attacks
Abstract. We consider the problem of security constrained optimal control for discrete-time, linear dynamical systems in which control and measurement packets are transmitted over ...
Saurabh Amin, Alvaro A. Cárdenas, Shankar S...
ISBI
2007
IEEE
16 years 29 days ago
A Posteriori Error Estimation in Biomedical Imaging
We present an adaptive hybrid FEM/FDM method for an inverse scattering problem in scanning acoustic microscopy with a special focus on new application in medical imaging. The prob...
Larisa Beilina