Search results for "Xian Zhang"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Xian Zhang, Martin Leucker, Wei Dong	Runtime Verification with Predictive Semantics.	NASA Formal Methods	2012	DBLP DOI BibTeX RDF
1	Xian Zhang	Fixed point theorem of generalized quasi-contractive mapping in cone metric space.	Computers & Mathematics with Applications	2011	DBLP DOI BibTeX RDF
1	Xian Zhang, Chris Phillips, Xiuzhong Chen	An overlay mapping model for achieving enhanced QoS and resilience performance.	ICUMT	2011	DBLP BibTeX RDF
1	Xian Zhang, Rico Andrich, Dietmar Rösner	Developing and Exploiting a Multilingual Grammar for Human-Computer Interaction.	HCI	2011	DBLP DOI BibTeX RDF
1	Lidan Shou, Ke Chen 0005, Gang Chen, Chao Zhang, Yi Ma, Xian Zhang	What-you-retrieve-is-what-you-see: a preliminary cyber-physical search engine.	SIGIR	2011	DBLP DOI BibTeX RDF
1	Xian Zhang	Fixed point theorems of multivalued monotone mappings in ordered metric spaces.	Appl. Math. Lett.	2010	DBLP DOI BibTeX RDF
1	Xian Zhang, Xiangyu Gao, Haiyan Wu	A simple and elementary proof of the non-conservativity theorem of Fang, Lin and Rotea.	IMA J. Math. Control & Information	2010	DBLP DOI BibTeX RDF
1	Xian Zhang, Yang Liu 0003, Mikhail Auguston	Modeling and Analyzing Timed Security Protocols Using Extended Timed CSP.	SSIRI	2010	DBLP DOI BibTeX RDF	Constraint Logic Programm, verifictaion, Security Protocol, extension, Timed CSP
1	Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Xian Zhang	Verifying Stateful Timed CSP Using Implicit Clocks and Zone Abstraction.	ICFEM	2009	DBLP DOI BibTeX RDF
1	Xian Zhang, Guang-Ping Zhong, Chong Tan	Existence and representation of stabilizing solutions to generalized algebraic Riccati equations.	CDC	2009	DBLP DOI BibTeX RDF
1	Xiangyu Gao, Guang-Ren Duan, Xian Zhang	Parameter-dependent Lyapunov function approach to robust stability analysis for discrete-time descriptor polytopic systems.	CDC	2009	DBLP DOI BibTeX RDF
1	Xian Zhang, Yu Hao, Xiaoyan Zhu, Ming Li	New Information Distance Measure and Its Application in Question Answering System.	J. Comput. Sci. Technol.	2008	DBLP DOI BibTeX RDF	information distance, normalized information distance, question answering system
1	Jin Song Dong, Jing Sun 0002, Jun Sun 0001, Kenji Taguchi, Xian Zhang	Specifying and Verifying Sensor Networks: An Experiment of Formal Methods.	ICFEM	2008	DBLP DOI BibTeX RDF
1	Wei Dong, Ji Wang, Changzhi Zhao, Xian Zhang, Jie Tian	Automating Software FMEA via Formal Analysis of Dependence Relations.	COMPSAC	2008	DBLP DOI BibTeX RDF	Software FMEA, formal analysis, dependence relations
1	Fangtao Li, Xian Zhang, Jinhui Yuan, Xiaoyan Zhu	Classifying What-Type Questions by Head Noun Tagging.	COLING	2008	DBLP BibTeX RDF
1	Mingsheng Jin, Shiming Ji, Li Zhang, Qiaoling Yuan, Xian Zhang, Yindong Zhang	Material Removal Model and Contact Control of Robotic Gasbag Polishing Technique.	RAM	2008	DBLP DOI BibTeX RDF
1	Xian Zhang, Xiaoyan Zhu	A New Type of Feature - Loose N-Gram Feature in Text Categorization.	IbPRIA	2007	DBLP DOI BibTeX RDF
1	Xian Zhang, Yu Hao, Xiaoyan Zhu, Ming Li, David R. Cheriton	Information distance from a question to an answer.	KDD	2007	DBLP DOI BibTeX RDF	information distance, normalized information distance, question answering system
1	Xian Zhang, Jianfeng Cai, Yimin Wei	Interval iterative methods for computing Moore-Penrose inverse.	Applied Mathematics and Computation	2006	DBLP DOI BibTeX RDF
1	Jianhua Wu, Fang Lin, Haiyan Chen, Xian Zhang, Jing Wang, Li Li	The Design and Implementation of Chinese Rural Studies Database.	ICADL	2006	DBLP DOI BibTeX RDF
1	Jin Song Dong, Yang Liu 0003, Jun Sun 0001, Xian Zhang	Verification of Computation Orchestration Via Timed Automata.	ICFEM	2006	DBLP DOI BibTeX RDF
1	Jin Song Dong, Ping Hao, Jun Sun 0001, Xian Zhang	A Reasoning Method for Timed CSP Based on Constraint Solving.	ICFEM	2006	DBLP DOI BibTeX RDF
1	Jingyang Li, Maosong Sun, Xian Zhang	A Comparison and Semi-Quantitative Analysis of Words and Character-Bigrams as Features in Chinese Text Categorization.	ACL	2006	DBLP BibTeX RDF
1	Jiandong Jiang, Fang Xu, Xinrong Zhen, Xian Zhang, Yangyu Wang, Libin Zhang	Axiomatic Design Using Ontology Modeling for Interoperability in Small Agriculture Machinery Product Development.	PROLAMAT	2006	DBLP DOI BibTeX RDF	Small agricultural machinery, Axiomatic design, Ontology, Gearbox
1	Jin Song Dong, Ping Hao, Xian Zhang, Shengchao Qin	HighSpec: a tool for building and checking OZTA models.	ICSE	2006	DBLP DOI BibTeX RDF	verification, timed automata, object-Z, structural design
1	Jin Song Dong, Ping Hao, Shengchao Qin, Xian Zhang	The Semantics and Tool Support of OZTA.	ICFEM	2005	DBLP DOI BibTeX RDF	Timed Patterns, Tool and Verification, Semantics
1	Jiao Li, Xian Zhang, Yu Hao, Minlie Huang, Xiaoyan Zhu	Learning Domain-Specific Knowledge from Context--THUIR at TREC 2005 Genomics Track.	TREC	2005	DBLP BibTeX RDF
1	Xian Zhang, Xiaoyan Zhu	Extended Bi-gram Features in Text Categorization.	IbPRIA	2005	DBLP DOI BibTeX RDF
1	Xian Zhang, Mei-Yu Cheng	The general common nonnegative-definite and positive-definite solutions to the matrix equations AXAast = BBast and CXCast = DDast.	Appl. Math. Lett.	2004	DBLP DOI BibTeX RDF
1	Chongguang Cao, Xian Zhang, Xiaomin Tang	Reverse order law of group inverses of products of two matrices.	Applied Mathematics and Computation	2004	DBLP DOI BibTeX RDF
1	Yuehua Wan, Shiming Ji, Yi Xie, Xian Zhang, Peijun Xie	Video Program Clustering Indexing Based on Face Recognition Hybrid Model of Hidden Markov Model and Support Vector Machine.	IWCIA	2004	DBLP DOI BibTeX RDF
1	Jiao Li, Xian Zhang, Min Zhang, Xiaoyan Zhu	THUIR at TREC 2004: Genomics Track.	TREC	2004	DBLP BibTeX RDF

Publications of "Xian Zhang" ( http://dblp.L3S.de/Authors/Xian_Zhang )