Search results for "Yanyan Xu"

Found 12 publication records. Showing 12 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Yanyan Xu, Wei Chen 0018, Kaile Su, Wenhui Zhang	Solving Difficult SAT Problems by Using OBDDs and Greedy Clique Decomposition.	FAW-AAIM	2012	DBLP DOI BibTeX RDF
1	Peijuan Wang, Jiahua Zhang, Donghui Xie, Yanyan Xu, Yun Xu	The relationship between canopy parameters and spectrum of winter wheat under different irrigations in Hebei Province.	IGARSS	2011	DBLP DOI BibTeX RDF
1	Cheng Liu, Zongjuan Lu, Yanyan Xu	Selection of Suppliers in Fuzzy Environment with Stock-Out Allowed and Its Heuristic Algorithm for Solution.	CSISE	2011	DBLP DOI BibTeX RDF
1	Liang Xu, Wei Chen 0018, Yanyan Xu, Wenhui Zhang	Improved Bounded Model Checking for the Universal Fragment of CTL.	J. Comput. Sci. Technol.	2009	DBLP DOI BibTeX RDF	model checking algorithm, ACTL, SAT, software verification, bounded model checking
1	Mao-Quan Li, Zhengquan Xu, Yanyan Xu	A Robust Video Coding Scheme for Mobile Wireless Communications.	Journal of Multimedia	2009	DBLP DOI BibTeX RDF
1	Yanyan Xu, Weiya Yue, Kaile Su	The BDD-Based Dynamic A* Algorithm for Real-Time Replanning.	FAW	2009	DBLP DOI BibTeX RDF
1	Yanyan Xu, Weiya Yue	A Generalized Framework for BDD-based Replanning A* Search.	SNPD	2009	DBLP DOI BibTeX RDF	BDD-based search, heuristic search-based planning, A*, replanning, incremental search
1	Yanyan Xu, Hui Chen, Reinhard Klette, Jiaju Liu, Tobi Vaudrey	Belief Propagation Implementation Using CUDA on an NVIDIA GTX 280.	Australasian Conference on Artificial Intelligence	2009	DBLP DOI BibTeX RDF
1	Mao-Quan Li, Zhengquan Xu, Yanyan Xu	Robust Transmission of Video Stream over Fading Channels.	TeNe	2008	DBLP DOI BibTeX RDF
1	Yanyan Xu, Wei Chen 0018, Liang Xu, Wenhui Zhang	Evaluation of SAT-based Bounded Model Checking of ACTL Properties.	TASE	2007	DBLP DOI BibTeX RDF
1	Yanyan Xu, Zhengquan Xu, Xi Chen, Zhanwu Yu	A Scalable De-centralized Multicast Key Management Scheme.	ICICIC	2006	DBLP DOI BibTeX RDF
1	Weiya Yue, Yanyan Xu, Kaile Su	BDDRPA*: An Efficient BDD-Based Incremental Heuristic Search Algorithm for Replanning.	Australian Conference on Artificial Intelligence	2006	DBLP DOI BibTeX RDF

Displaying result #1 - #12 of 12 (100 per page; Change: )

Publications of "Yanyan Xu" ( http://dblp.L3S.de/Authors/Yanyan_Xu )