Sciweavers

1420 search results - page 195 / 284
» A Framework for Scheduler Synthesis
Sort
View
CDC
2010
IEEE
112views Control Systems» more  CDC 2010»
15 years 1 months ago
Feedback control of the National Airspace System to mitigate weather disruptions
This paper proposes a general modeling framework adapted to the feedback control of traffic flows in Eulerian models of the National Airspace System (NAS). It is shown that the pro...
Jerome Le Ny, Hamsa Balakrishnan
ICIP
2005
IEEE
16 years 7 months ago
Tensor-based factor decomposition for relighting
Lighting condition is an important factor in face analysis and synthesis, which has received extensive study in both computer vision and computer graphics. Motivated by the work on...
Dahua Lin, Yingqing Xu, Xiaoou Tang, Shuicheng Yan
CVPR
2010
IEEE
16 years 2 months ago
Hierarchical Convolutional Sparse Image Decomposition
Building robust low and mid-level image representations, beyond edge primitives, is a long-standing goal in vision. Many existing feature detectors spatially pool edge information...
Matthew Zeiler, Dilip Krishnan, Graham Taylor, Rob...
FOSSACS
2009
Springer
16 years 29 days ago
Realizability of Concurrent Recursive Programs
Abstract. We define and study an automata model of concurrent recursive programs. An automaton consists of a finite number of pushdown systems running in parallel and communicati...
Benedikt Bollig, Manuela-Lidia Grindei, Peter Habe...
ICPR
2008
IEEE
16 years 18 days ago
Radical based fine trajectory HMMs of online handwritten characters
We study models that characterize pen trajectories of online handwritten characters in a fine manner. We propose radical based fine trajectory hidden Markov models (HMMs), which...
Peng Liu, Lei Ma, Frank K. Soong