Search results for "Lu Yang"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Bican Xia, Lu Yang, Naijun Zhan, Zhihai Zhang	Symbolic decision procedure for termination of linear programs.	Formal Asp. Comput.	2011	DBLP DOI BibTeX RDF
1	Jian-Feng Yan, Yang Gao, Lu Yang	Ant colony optimization for wireless sensor networks routing.	ICMLC	2011	DBLP DOI BibTeX RDF
1	Lu Yang, Tomohiro Yendo, Mehrdad Panahpour Tehrani, Toshiaki Fujii, Masayuki Tanimoto	Artifact reduction using reliability reasoning for image generation of FTV.	J. Visual Communication and Image Representation	2010	DBLP DOI BibTeX RDF
1	Lu Yang, Wensheng Yu, Ruyi Yuan	Mechanical decision for a class of integral inequalities.	SCIENCE CHINA Information Sciences	2010	DBLP DOI BibTeX RDF
1	Lu Yang, Chaochen Zhou, Naijun Zhan, Bican Xia	Recent advances in program verification through computer algebra.	Frontiers of Computer Science in China	2010	DBLP DOI BibTeX RDF
1	Lu Yang, Meindert Onno Wildeboer, Tomohiro Yendo, Mehrdad Panahpour Tehrani, Toshiaki Fujii, Masayuki Tanimoto	Reducing bitrates of compressed video with enhanced view synthesis for FTV.	PCS	2010	DBLP DOI BibTeX RDF
1	Lu Yang, Tomohiro Yendo, Mehrdad Panahpour Tehrani, Toshiaki Fujii, Masayuki Tanimoto	Probabilistic reliability based view synthesis for FTV.	ICIP	2010	DBLP DOI BibTeX RDF
1	Jin Li, Limin Zheng, Lu Yang, Li-jun Tian, Ping Wu, Hong Zhu	Improved Dynamic Time Warping algorithm the research and application of query by humming.	ICNC	2010	DBLP DOI BibTeX RDF
1	You Li, Lu Yang, Lei Bu, Linzhang Wang, Jianhua Zhao, Xuandong Li	Extending Ada to support multi-core based monitoring and fault tolerance.	SIGAda	2010	DBLP DOI BibTeX RDF
1	Lu Yang, Liqian Yu, Jianwen Tang, Linzhang Wang, Jianhua Zhao, Xuandong Li	McC++/Java: Enabling Multi-core Based Monitoring and Fault Tolerance in C++/Java.	ICECCS	2010	DBLP DOI BibTeX RDF
1	Changbo Chen, Marc Moreno Maza, Bican Xia, Lu Yang	Computing Cylindrical Algebraic Decomposition via Triangular Decomposition	CoRR	2009	DBLP BibTeX RDF
1	Lu Yang, Zhanqi Cui, Xuandong Li	A Case Study for Fault Tolerance Oriented Programming in Multi-core Architecture.	HPCC	2009	DBLP DOI BibTeX RDF
1	Lu Yang, Rong-ben Wang, Pingshu Ge, Fengping Cao	Research on Area-Matching Algorithm Based on Feature-Matching Constraints.	ICNC	2009	DBLP DOI BibTeX RDF
1	Lu Yang, Rong-ben Wang	Research on Environmental Perception Technology for Menology Environments Based on Binocular Vision.	CSIE	2009	DBLP DOI BibTeX RDF
1	Changbo Chen, Marc Moreno Maza, Bican Xia, Lu Yang	Computing cylindrical algebraic decomposition via triangular decomposition.	ISSAC	2009	DBLP DOI BibTeX RDF	regular chain, triangular decomposition, cad
1	Lu Yang, Nigel Gilbert	Getting Away from Numbers: Using Qualitative Observation for Agent-Based Modeling.	Advances in Complex Systems	2008	DBLP DOI BibTeX RDF
1	Lu Yang, Samir Attallah, George Mathew, Karim Abed-Meraim	Analysis of Orthogonality Error Propagation for FRANS and HFRANS Algorithms.	IEEE Transactions on Signal Processing	2008	DBLP DOI BibTeX RDF
1	Lu Yang, Volker Stolz	Integrating Refinement into Software Development Tools.	Electr. Notes Theor. Comput. Sci.	2008	DBLP DOI BibTeX RDF
1	Lu Yang	Uniform attractor for non-autonomous hyperbolic equation with critical exponent.	Applied Mathematics and Computation	2008	DBLP DOI BibTeX RDF
1	Lu Yang	A perturbation method for numerical differentiation.	Applied Mathematics and Computation	2008	DBLP DOI BibTeX RDF
1	Bican Xia, Lu Yang, Naijun Zhan	Program Verification by Reduction to Semi-algebraic Systems Solving.	ISoLA	2008	DBLP DOI BibTeX RDF	Semi-Algebraic Systems, Program Verification, Invariants, Quantifier Elimination, Ranking Functions, Polynomial Programs
1	Lu Yang, Samir Attallah	Speeding up Noise Subspace Estimation Algorithms using an Optimal Diagonal Matrix Step-Size Strategy for MC-CDMA Application.	VTC Spring	2008	DBLP DOI BibTeX RDF
1	Qiang Guan, Long Wang, Bican Xia, Lu Yang, Wensheng Yu, Zhenbing Zeng	Solution to the Generalized Champagne Problem on simultaneous stabilization of linear systems.	Science in China Series F: Information Sciences	2007	DBLP DOI BibTeX RDF	simultaneous stabilization, Champagne Problem, Generalized Champagne Problem, inequality-type theorem, stabilization, linear systems, automated theorem proving, complex analysis
1	Lu Yang, Samir Attallah, George Mathew	Stable Noise Subspace Estimation Algorithm Suitable for VLSI Implementation.	SiPS	2007	DBLP DOI BibTeX RDF
1	Lu Yang, Samir Attallah	Adaptive Noise Subspace Estimation Algorithm with an Optimal Diagonal-Matrix Step-Size.	SiPS	2007	DBLP DOI BibTeX RDF
1	Lu Yang, Jun Xiao	A Solution of Rural Information Network Accessing.	CCTA	2007	DBLP DOI BibTeX RDF	agricultural information machine, information network, set-top box
1	Weiming Wang, Zhenbing Zeng, Lu Yang	A new mechanical algorithm for solving system of Volterra integral equation.	SNPD	2007	DBLP DOI BibTeX RDF
1	Yinghua Chen, Bican Xia, Lu Yang, Naijun Zhan, Chaochen Zhou	Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems.	ICTAC	2007	DBLP DOI BibTeX RDF	Loop Termination, Semi-Algebraic Systems, DISCOVERER, QEPCAD, Program Verification, Computer Algebra, Ranking Function, Polynomial Programs
1	Zhenbang Chen, Abdelhakim Hannousse, Dang Van Hung, Istvan Knoll, Xiaoshan Li, Zhiming Liu, Yang Liu, Qu Nan, Joseph C. Okika, Anders P. Ravn, Volker Stolz, Lu Yang, Naijun Zhan	Modelling with Relational Calculus of Object and Component Systems - rCOS.	CoCoME	2007	DBLP DOI BibTeX RDF	Design, Refinement, Transformation, Requirements Modelling
1	Guangming Wang, Lu Yang	DOKMF: Distributed Ontology-Based Knowledge Management Framework.	FSKD	2007	DBLP DOI BibTeX RDF
1	Yinghua Chen, Bican Xia, Lu Yang, Naijun Zhan	Generating Polynomial Invariants with DISCOVERER and QEPCAD.	Formal Methods and Hybrid Real-Time Systems	2007	DBLP DOI BibTeX RDF	Semi-Algebraic Systems, DISCOVERER, QEPCAD, Program Verification, Quantifier Elimination, Invariant Generation, Polynomial Programs
1	Zhenbang Chen, Xiaoshan Li, Zhiming Liu, Volker Stolz, Lu Yang	Harnessing rCOS for Tool Support - The CoCoME Experience.	Formal Methods and Hybrid Real-Time Systems	2007	DBLP DOI BibTeX RDF	tool design, formal methods, software process, Software development tool
1	Zhenbang Chen, Zhiming Liu, Volker Stolz, Lu Yang, Anders P. Ravn	A Refinement Driven Component-Based Design.	ICECCS	2007	DBLP DOI BibTeX RDF	object-orientation, refinement, Software development process, component-based modeling
1	Nigel Gilbert, Matthijs den Besten, Ákos Bontovics, Bart G. W. Craenen, Federico Divina, Ágoston E. Eiben, Robert Griffioen, György Hévízi, András Lörincz, Ben Paechter, Stephan C. Schuster, Martijn C. Schut, Christian Tzolov, Paul Vogt, Lu Yang	Emerging Artificial Societies Through Learning.	J. Artificial Societies and Social Simulation	2006	DBLP BibTeX RDF
1	Lu Yang	Solving Spatial Constraints with Global Distance Coordinate System.	Int. J. Comput. Geometry Appl.	2006	DBLP DOI BibTeX RDF
1	Lu Yang, Zhenbing Zeng	Constructing a Tetrahedron with Prescribed Heights and Widths.	Automated Deduction in Geometry	2006	DBLP DOI BibTeX RDF	generalized Cayley-Menger algebra, widths of a tetrahedron, geometric constraint solving
1	Guangli Liu, Yongshun Wu, Lu Yang	Weighted Ordinal Support Vector Clustering.	IMSCCS	2006	DBLP DOI BibTeX RDF
1	Lu Yang, Bican Xia	Quantifier Elimination for Quartics.	AISC	2006	DBLP DOI BibTeX RDF
1	Zhiming Liu, Vladimir Mencl, Anders P. Ravn, Lu Yang	Harnessing Theories for Tool Support.	ISoLA	2006	DBLP DOI BibTeX RDF
1	Jianqin Wang, Yong Xue, Yi Xie, Dingsheng Liu, Ruizhi Sun, Lu Yang, Ying Ding, Ya OuYang, Guangli Liu, YunLing Liu, Li Kang, Xinrong Cheng	Study on Remotely Sensed Data Access and Integration Grid-enabled Middleware.	GCC Workshops	2006	DBLP DOI BibTeX RDF
1	Harold Boley, Virendrakumar C. Bhavsar, David Hirtle, Anurag Singh, Zhongwei Sun, Lu Yang	A match-making system for learners and learning objects.	Interact. Techn. Smart Edu.	2005	DBLP DOI BibTeX RDF
1	Lu Yang, Biplab Kumer Sarker, Virendrakumar C. Bhavsar, Harold Boley	A Weighted-Tree Simplicity Algorithm for Similarity Matching of Partial Product Descriptions.	IASSE	2005	DBLP BibTeX RDF
1	Lu Yang, Biplab Kumer Sarker, Virendrakumar C. Bhavsar, Harold Boley	Range Similarity Measures Between Buyers and Sellers in e-Marketplaces.	IICAI	2005	DBLP BibTeX RDF
1	Lu Yang, Naijun Zhan, Bican Xia, Chaochen Zhou	Program Verification by Using DISCOVERER.	VSTTE	2005	DBLP DOI BibTeX RDF	semi-algebraic systems, DISCOVERER, reachability computation, program verification, termination, invariant generation
1	Lu Yang, Bican Xia	Real Solution Classification for Parametric Semi-Algebraic Systems.	Algorithmic Algebra and Logic	2005	DBLP BibTeX RDF
1	Lu Yang, Zhenbing Zeng	An open problem on metric invariants of tetrahedra.	ISSAC	2005	DBLP DOI BibTeX RDF	manifold solution, metric invariant, tetrahedron, distance geometry
1	Virendrakumar C. Bhavsar, Harold Boley, Lu Yang	A Weighted-Tree Similarity Algorithm for Multi-Agent Systems in E-Business Environments.	Computational Intelligence	2004	DBLP DOI BibTeX RDF
1	Lu Yang, Zhenbing Zeng	Symbolic Solution of a Piano Movers' Problem with Four Parameters.	Automated Deduction in Geometry	2004	DBLP DOI BibTeX RDF
1	Lu Yang, Jingzhong Zhang, Weinian Zhang	On Number of Circles Intersected by a Line.	J. Comb. Theory, Ser. A	2002	DBLP DOI BibTeX RDF
1	Bican Xia, Lu Yang	An Algorithm for Isolating the Real Solutions of Semi-algebraic Systems.	J. Symb. Comput.	2002	DBLP DOI BibTeX RDF
1	Lu Yang	Distance Coordinates Used in Geometric Constraint Solving.	Automated Deduction in Geometry	2002	DBLP DOI BibTeX RDF
1	Lu Yang, Ju Zhang	A Practical Program of Automated Proving for a Class of Geometric Inequalities.	Automated Deduction in Geometry	2000	DBLP DOI BibTeX RDF
1	Lu Yang	Recent Advances on Determining the Number of Real Roots of Parametric Polynomials.	J. Symb. Comput.	1999	DBLP DOI BibTeX RDF
1	Lu Yang	Recent advances in automated theorem proving on inequalities.	J. Comput. Sci. Technol.	1999	DBLP DOI BibTeX RDF
1	Changjie Tang, Rynson W. H. Lau, Huabei Yin, Qing Li, Lu Yang, Zhonghua Yu, Limin Xiang, Tianqing Zhang	Discovering Tendency Association between Objects with Relaxed Periodicity and its Application in Seismology.	ICSC	1999	DBLP DOI BibTeX RDF
1	Xiao-Shan Gao, Dongming Wang, Lu Yang (eds.)	Automated Deduction in Geometry, Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings	Automated Deduction in Geometry	1999	DBLP BibTeX RDF
1	Lu Yang, Xiaorong Hou, Bican Xia	Automated Discovering and Proving for Geometric Inequalities.	Automated Deduction in Geometry	1998	DBLP DOI BibTeX RDF
1	Lu Yang, Hongguang Fu, Zhenbing Zeng	A Practical Symbolic Algorithm for the Inverse Kinematics of 6R Manipulators with Simple Geometry.	CADE	1997	DBLP DOI BibTeX RDF
1	Lu Yang, Xiao-Shan Gao, Shang-Ching Chou, Jing-Zhong Zhang	Automated Production of Readable Proofs for Theorems in Non-Euclidian Geometries.	Automated Deduction in Geometry	1996	DBLP DOI BibTeX RDF
1	Deepak Kapur, Tushar Saxena, Lu Yang	Algebraic and Geometric Reasoning Using Dixon Resultants.	ISSAC	1994	DBLP DOI BibTeX RDF
1	Jingzhong Zhang, Lu Yang, Mike Deng	The Parallel Numerical Method of Mechanical Theorem Proving.	Theor. Comput. Sci.	1990	DBLP DOI BibTeX RDF

Publications of "Lu Yang" ( http://dblp.L3S.de/Authors/Lu_Yang )