Sciweavers

3995 search results - page 67 / 799
» Linearization of hybrid processes
Sort
View
145
Voted
ICIP
2007
IEEE
15 years 5 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
152
Voted
NGITS
1999
Springer
15 years 7 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
15 years 10 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
15 years 10 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...
110
Voted
ISBI
2007
IEEE
15 years 10 months 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