Search results for "Yue Yang"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Ll Yi-Min, Yue Yang, Li Li	Adaptive Backstepping Fuzzy Control Based on Type-2 Fuzzy System.	J. Applied Mathematics	2012	DBLP DOI BibTeX RDF
1	Yunji Liang, Xingshe Zhou, Zhiwen Yu, Bin Guo, Yue Yang	Energy Efficient Activity Recognition Based on Low Resolution Accelerometer in Smart Phones.	GPC	2012	DBLP DOI BibTeX RDF
1	Yue Yang, Hanping Hu, Wei Xiong, Fan Ding	A Novel Network Traffic Anomaly Detection Model Based on Superstatistics Theory.	JNW	2011	DBLP DOI BibTeX RDF
1	Yue Yang, Cheng Xiang, Tong Heng Lee	Feedback stabilization for planar switched linear systems with two subsystems under arbitrary switching.	ICCA	2011	DBLP DOI BibTeX RDF
1	Li Zhang, Ying Li, Nannan Dong, Ning Li, Yue Yang	Research and design of real-time human body video acquisition system.	FSKD	2011	DBLP DOI BibTeX RDF
1	Andrea Sorbi, Guohua Wu, Yue Yang	Diamond embeddings into the enumeration degrees.	Mathematical Structures in Computer Science	2010	DBLP DOI BibTeX RDF
1	Rahul Gowda, Shalin M. Mehta, Yue Yang, Baoxin Li	Adaptive nonlinear Image Enhancement of Gaussian Degraded Images.	Int. J. Image Graphics	2010	DBLP DOI BibTeX RDF
1	Chang Hu, Yue Yang, Juan-li Hu, Linying Guo	Dynamic Monitoring and Intelligent Network System Design and Implementation for Mandatory Inspection Measurement Instruments.	ICEE	2010	DBLP DOI BibTeX RDF
1	Yibin Hong, Yue Yang, Litao Yang, Ganesh Samudra, Chun-Huat Heng, Yee-Chia Yeo	SPICE Behavioral Model of the Tunneling Field-Effect Transistor for Circuit Simulation.	IEEE Trans. on Circuits and Systems	2009	DBLP DOI BibTeX RDF
1	Andrea Sorbi, Guohua Wu, Yue Yang	High Minimal Pairs in the Enumeration Degrees.	TAMC	2009	DBLP DOI BibTeX RDF
1	Xinbo Gao, Yue Yang, Bing Xiao	Adaptive frame rate up-conversion based on motion classification.	Signal Processing	2008	DBLP DOI BibTeX RDF
1	Bakhadyr Khoussainov, Frank Stephan, Yue Yang	Computable categoricity and the Ershov hierarchy.	Ann. Pure Appl. Logic	2008	DBLP DOI BibTeX RDF
1	Yue Yang, Sherif A. Elfayoumy	Anti-Spam Filtering Using Neural Networks and Baysian Classifiers.	CIRA	2007	DBLP DOI BibTeX RDF
1	Jianpei Zhang, Yue Yang, Jing Yang, Ze-bao Zhang, Zhuo Liu	Spatial Clustering Algorithm Based on Optimized-Division.	FSKD	2007	DBLP DOI BibTeX RDF
1	Yue Yang, Liang Yu	On Sigma1-structural differences among finite levels of the Ershov hierarchy.	J. Symb. Log.	2006	DBLP BibTeX RDF
1	Matthew Giorgi, Andrea Sorbi, Yue Yang	Properly Sigma02 enumeration degrees and the high/low hierarchy.	J. Symb. Log.	2006	DBLP BibTeX RDF
1	Angsheng Li, Guohua Wu, Yue Yang	Bounding computably enumerable degrees in the Ershov hierarchy.	Ann. Pure Appl. Logic	2006	DBLP DOI BibTeX RDF
1	Chi Tat Chong, Angsheng Li, Yue Yang	The existence of high nonbounding degrees in the difference hierarchy.	Ann. Pure Appl. Logic	2006	DBLP DOI BibTeX RDF
1	Qiuyu Zhang, Peng Huang, Yue Yang	A Design Method of Distributed Workflow Engine.	CSCWD	2006	DBLP DOI BibTeX RDF
1	Angsheng Li, Guohua Wu, Yue Yang	On the Quotient Structure of Computably Enumerable Degrees Modulo the Noncuppable Ideal.	TAMC	2006	DBLP DOI BibTeX RDF
1	Yue Yang, Liang Yu	On Differences Among Elementary Theories of Finite Levels of Ershov Hierarchies.	TAMC	2006	DBLP DOI BibTeX RDF
1	Dinakar Dhurjati, Manuvir Das, Yue Yang	Path-Sensitive Dataflow Analysis with Iterative Refinement.	SAS	2006	DBLP DOI BibTeX RDF
1	S. Barry Cooper, Andrew E. M. Lewis, Yue Yang	Properly Sigma2 minimal degrees and 0'' complementation.	Math. Log. Q.	2005	DBLP DOI BibTeX RDF
1	Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom	UMM: an operational memory model specification framework with integrated model checking capability.	Concurrency - Practice and Experience	2005	DBLP DOI BibTeX RDF
1	Yue Yang, Liang Yu	On the definable ideal generated by nonbounding c.e. degrees.	J. Symb. Log.	2005	DBLP BibTeX RDF
1	S. Barry Cooper, Angsheng Li, Andrea Sorbi, Yue Yang	Bounding and nonbounding minimal pairs in the enumeration degrees.	J. Symb. Log.	2005	DBLP BibTeX RDF
1	Marat M. Arslanov, Chi Tat Chong, S. Barry Cooper, Yue Yang	The minimal e-degree problem in fragments of Peano arithmetic.	Ann. Pure Appl. Logic	2005	DBLP DOI BibTeX RDF
1	Yue Yang, Baoxin Li	Non-linear image enhancement for digital TV applications using Gabor filters.	ICME	2005	DBLP DOI BibTeX RDF	high-definition image, nonlinear image enhancement, digital TV application, contrast sensitivity function, visual quality perception, standard definition source, Gabor filter, human visual system
1	Hari Hampapuram, Yue Yang, Manuvir Das	Symbolic path simulation in path-sensitive dataflow analysis.	PASTE	2005	DBLP DOI BibTeX RDF	path feasibility, dataflow analysis, symbolic simulation
1	Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom	Memory-Model-Sensitive Data Race Analysis.	ICFEM	2004	DBLP DOI BibTeX RDF
1	Sherif A. Elfayoumy, Yue Yang, Sanjay P. Ahuja	Anti-Spam Filtering Using Neural Networks.	IC-AI	2004	DBLP BibTeX RDF
1	Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom, Konrad Slind	Nemos: A Framework for Axiomatic and Executable Specifications of Memory Consistency Models.	IPDPS	2004	DBLP DOI BibTeX RDF
1	Ganesh Gopalakrishnan, Yue Yang, Hemanthkumar Sivaraj	QB or Not QB: An Efficient Execution Verification Tool for Memory Orderings.	CAV	2004	DBLP DOI BibTeX RDF
1	Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom, Konrad Slind	Analyzing the Intel Itanium Memory Ordering Rules Using Logic Programming and SAT.	CHARME	2003	DBLP DOI BibTeX RDF
1	Richard A. Shore, Yue Yang	A nonlow2 R. E. Degree with the Extension of Embeddings Properties of a low2 Degree.	Math. Log. Q.	2002	DBLP DOI BibTeX RDF
1	Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom	Specifying Java thread semantics using a uniform memory model.	Java Grande	2002	DBLP DOI BibTeX RDF	Java, verification, compilation, threads, memory models
1	Chi Tat Chong, Yue Yang	Sigma2 Induction and Infinite Injury Priority Argument, Part I: Maximal Sets and the Jump Operator.	J. Symb. Log.	1998	DBLP BibTeX RDF
1	Chi Tat Chong, Yue Yang	Sigma2 Induction and Infinite Injury Priority Arguments, Part II: Tame Sigma2 Coding and the Jump Operator.	Ann. Pure Appl. Logic	1997	DBLP DOI BibTeX RDF
1	Yue Yang	The Thickness Lemma from P- + I Sigma1 + not B Sigma2.	J. Symb. Log.	1995	DBLP BibTeX RDF

Publications of "Yue Yang" ( http://dblp.L3S.de/Authors/Yue_Yang )