Derivation, experimental verification, and applications of a new color image model

Derivation, experimental verification, and applications of a new color image model

Thesis: Ph. D., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2018.

书目详细资料
主要作者:	Fuller, Megan M. (Megan Marie)
其他作者:	Jae S. Lim.
格式:	Thesis
语言:	eng
出版:	Massachusetts Institute of Technology 2018
主题:	Electrical Engineering and Computer Science.
在线阅读:	http://hdl.handle.net/1721.1/117841

相似书籍

Inverse filtering by signal reconstruction from phase
由: Fuller, Megan M. (Megan Marie)
出版: (2014)

Color image enhancement
由: Marshall, Shelley E.
出版: (2024)

Experimental verification for the design of a doubly-fed permanent magnetic generator
由: Lu, Bin, Ph. D. Massachusetts Institute of Technology
出版: (2008)

Image classification using color cues and texture orientation
由: Yiu, Elaine C. (Elaine Cheuk-Man)
出版: (2005)

Building an interactive occupant packaging model with human figure
由: Jasek, Megan Cathleen
出版: (2007)

Modeling and verification of randomized distributed real-time systems
由: Segala, Roberto
出版: (2007)

Automated verification of model-based programs under uncertainty
由: Mahtab, Tazeen, 1981-
出版: (2005)

Physically accurate collisions in StarLogo Nova
由: Chao, Megan(Megan C.)
出版: (2021)

Characterizing and predicting enhancers in the human genome
由: Roytman, Megan (Megan D.)
出版: (2014)

Automatic verification of pipelined microprocessors
由: Bhagwati, Vishal Lalit
出版: (2006)

Real-time face verification
由: Romano, Raquel Andrea
出版: (2007)

Modular data structure verification
由: Kuncak, Viktor (Viktor Jaroslav), 1977-
出版: (2007)

Formal verification of TCP and T/TCP
由: Smith, Mark Anthony Shawn, 1968-
出版: (2008)

Modular verification of hardware systems
由: Vijayaraghavan, Muralidaran
出版: (2016)

Verification of an attitude control system
由: Ha, Vida Uyen, 1980-
出版: (2014)

Restricted branching programs and hardware verification
由: Ponzio, Stephen J. (Stephen John)
出版: (2006)

A verification framework for hybrid systems
由: Mitra, Sayan
出版: (2008)

Safety verification for automated vehicle maneuvers
由: Dolginova, Ekaterina, 1977-
出版: (2009)

Runtime verification of object lifetime specifications
由: Benjamin, Zev (Zev A.)
出版: (2010)

Modeling of the glottal flow derivative waveform with application to speaker identification
由: Plumpe, Michael David
出版: (2008)

Color reclamation for heap memory coloring scheme in PIPE tagged-memory architecture
由: Li, Jiahao.
出版: (2020)

Color transfer between images
由: Liang, Ruyin
出版: (2021)

Color transfer between images
由: Luo, Huiyi
出版: (2023)

Color transfer between images
由: Teh, Hock Tuck
出版: (2023)

Automatic procedures for the behavioral verification of digital designs
由: Aelten, Filip Van
出版: (2005)

Automatic verification of the timing properties of MMT automata
由: Söylemez, Ekrem Sezer
出版: (2006)

Simulation and verification of autonomous route planning behavior
由: Kochhar, Amrik S
出版: (2011)

Verification of the StarT-voyager bus interface units
由: Ho, Wing-Chung, 1974-
出版: (2009)

Design and verification of adaptive cache coherence protocols
由: Shen, Xiaowei, 1966-
出版: (2014)

Character segmentation heuristics for check amount verification
由: Khan, Salman Amin, 1976-
出版: (2009)

Automating modular program verification by refining specifications
由: Taghdiri, Mana, 1979-
出版: (2008)

Formal verification of safety-critical hybrid systems
由: Livadas, Carolos
出版: (2008)

A relational framework for bounded program verification
由: Dennis, Gregory D. (Gregory David), 1980-
出版: (2010)

Contract-based safety verification for autonomous driving
由: Liebenwein, Lucas
出版: (2019)

Bayesian approaches to bilinear inverse problems involving spatial evidence : color constancy and blind image deconvolution
由: Singh, Barun, 1982-
出版: (2007)

Slurry abrasive particle agglomeration experimentation and modeling for chemical mechanical planarization (CMP)
由: Johnson, Joy Marie
出版: (2015)

Procedure for optimal D.C. parameter extraction for hot-carrier degradation model calibration and verification
由: Dao, Steve Gia, 1973-
出版: (2009)

A cost effective ATE calibration/verification solution
由: Chung, Edgar N., 1977-
出版: (2014)

Formal verification of simulations between I/O automata
由: Bogdanov, Andrej, 1978-
出版: (2014)

A lightweight specification language for bounded program verification
由: Yessenov, Kuat T
出版: (2010)