 | 2009 |
|---|
| 266 |       | Mohsen Guizani,
Peter Mueller,
Klaus-Peter Fähnrich,
Athanasios V. Vasilakos,
Yan Zhang,
Jun Zhang:
Proceedings of the International Conference on Wireless Communications and Mobile Computing: Connecting the World Wirelessly, IWCMC 2009, Leipzig, Germany, June 21-24, 2009
ACM 2009 |
| 265 |  | Linsheng Zhang,
Yan Zhang,
Wenbiao Zhou:
Floating-point to Fixed-point Transformation Using Extreme Value Theory.
ACIS-ICIS 2009: 271-276 |
| 264 | | Qixia Jiang,
Yan Zhang,
Maosong Sun:
Community Detection on Weighted Networks: A Variational Bayesian Method.
ACML 2009: 176-190 |
| 263 | | Yexin Wang,
Li Zhao,
Yan Zhang:
MagicCube: choosing the best snippet for each aspect of an entity.
CIKM 2009: 1705-1708 |
| 262 | | Yan Zhang,
Qiancheng Jiang,
Lei Zhang,
Yizhen Zhu:
Exploiting bidirectional links: making spamming detection easier.
CIKM 2009: 1839-1842 |
| 261 | | Chen Liu,
Fengxia Li,
Yan Zhang,
Haiyang Gu:
Interactive Image Segmentation Based on Hierarchical Graph-Cut Optimization with Generic Shape Prior.
ICIAR 2009: 201-210 |
| 260 | | Chun Yuan,
ShiQi Zhang,
Yan Zhang:
Feature Extraction Methods for Handwritten Character Recognition Based on Acceleration.
IPCV 2009: 746-753 |
| 259 | | Ming Huang,
Rong Yu,
Yan Zhang:
Call admission control with Soft-QoS based spectrum handoff in cognitive radio networks.
IWCMC 2009: 1067-1072 |
| 258 | | Hai Ngoc Pham,
Yan Zhang,
Paal E. Engelstad,
Tor Skeie,
Frank Eliassen:
Optimal cooperative spectrum sensing in cognitive sensor networks.
IWCMC 2009: 1073-1079 |
| 257 | | Ying Li,
Yan Zhang,
YuDong Qi,
Hongda Fan:
Coverage and capacity in WiMAX and TD-SCDMA evolution: a comparative study.
IWCMC 2009: 1473-1477 |
| 256 | | Vernon Asuncion,
Yan Zhang:
Translating Preferred Answer Set Programs to Propositional Logic.
LPNMR 2009: 396-401 |
| 255 | | Yan Zhang,
Peter J. Passmore,
Richard H. Bayford:
Task based visualization of 5D brain EIT data.
SAC 2009: 831-835 |
| 254 | | Yan Zhang,
Yi Zhou:
Knowledge forgetting: Properties and applications.
Artif. Intell. 173(16-17): 1525-1537 (2009) |
| 253 | | Yan Zhang,
Jim Mee Ng,
Chor Ping Low:
A distributed group mobility adaptive clustering algorithm for mobile ad hoc networks.
Computer Communications 32(1): 189-202 (2009) |
| 252 | | Hsiao-Hwa Chen,
Symeon Papavassiliou,
Lingyang Song,
Yan Zhang:
Adaptive multicarrier communications and networks.
Computer Communications 32(3): 453-455 (2009) |
| 251 | | Yan Zhang,
Guo-Ping Xia:
Construction of high embankment dam material flow equilibrium system.
Expert Syst. Appl. 36(5): 9175-9191 (2009) |
| 250 | | Sriram Sankar,
Yan Zhang,
Sudhanva Gurumurthi,
Mircea R. Stan:
Sensitivity-Based Optimization of Disk Architecture.
IEEE Trans. Computers 58(1): 69-81 (2009) |
| 249 | | Supeng Leng,
Yan Zhang,
Hsiao-Hwa Chen,
Liren Zhang,
Ke Liu:
A novel k-hop Compound Metric Based Clustering scheme for ad hoc wireless networks.
IEEE Transactions on Wireless Communications 8(1): 367-375 (2009) |
| 248 | | Yan Zhang:
Updating Epistemic Logic Programs.
J. Log. Comput. 19(2): 405-423 (2009) |
| 247 | | Yan Zhang,
Chang-Sheng Wang:
Estimation on the intramolecular 10-membered ring N-H***O-C hydrogen-bonding energies in glycine and alanine peptides.
Journal of Computational Chemistry 30(8): 1251-1260 (2009) |
| 246 | | Te Li,
YongQiang Ning,
ErJuan Hao,
JinJiang Cui,
Yan Zhang,
GuangYu Liu,
Li Qin,
Yun Liu,
LiJun Wang,
DaFu Cui,
ZuYan Xu:
Design and optimization of DBR in 980 nm bottom-emitting VCSEL.
Science in China Series F: Information Sciences 52(7): 1266-1271 (2009) |
| 2008 |
|---|
| 245 | | Frode Eika Sandnes,
Yan Zhang,
Chunming Rong,
Laurence Tianruo Yang,
Jianhua Ma:
Ubiquitous Intelligence and Computing, 5th International Conference, UIC 2008, Oslo, Norway, June 23-25, 2008, Proceedings
Springer 2008 |
| 244 | | Yi Zhou,
Leendert van der Torre,
Yan Zhang:
Partial goal satisfaction and goal change: weak and strong partial implication, logical properties, complexity.
AAMAS (1) 2008: 413-420 |
| 243 | | Gang Quan,
Yan Zhang,
William Wiles,
Pei Pei:
Guaranteed scheduling for repetitive hard real-time tasks under the maximal temperature constraint.
CODES+ISSS 2008: 267-272 |
| 242 | | Yan Zhang,
Yi Liu,
Le Zhang,
Zhiyi Ma,
Hong Mei:
Modeling and Checking for Non-functional Attributes in Extended UML Class Diagram.
COMPSAC 2008: 100-107 |
| 241 | | Zhenghui Pan,
Yan Zhang,
Jiansheng Huang:
Applications of Database Caching in a Library Catalogue System.
CSSE (4) 2008: 565-570 |
| 240 | | Weichun Ma,
Xuan Wang,
Yan Zhang,
Qi Yu:
The Application of Expert System to the Screening of Atmospheric Environmental Impact from Comprehensive Road Traffic Planning in Shanghai.
FSKD (4) 2008: 636-642 |
| 239 | | Yan Zhang,
Qing-ling Zhang,
Jin-lan Zhang:
Non-fragile Passive Control for Uncertain T-S Fuzzy Systems with Time-Delay.
FSKD (5) 2008: 100-104 |
| 238 | | WeiQiang Xu,
Jiming Chen,
Yan Zhang,
Yang Xiao,
Youxian Sun:
Optimal Rate Routing in Wireless Sensor Networks with Guaranteed Lifetime.
GLOBECOM 2008: 198-202 |
| 237 | | Ye Tian,
Min Sheng,
Jiandong Li,
Yan Zhang,
Junliang Yao,
Di Tang:
Energy-Aware Dynamic Topology Control Algorithm for Wireless Ad Hoc Networks.
GLOBECOM 2008: 208-212 |
| 236 | | Hai Ngoc Pham,
Jie Xiang,
Yan Zhang,
Tor Skeie:
QoS-Aware Channel Selection in Cognitive Radio Networks: A Game-Theoretic Approach.
GLOBECOM 2008: 4877-4883 |
| 235 | | Fei Pu,
Yan Zhang:
Localizing Program Errors via Slicing and Reasoning.
HASE 2008: 187-196 |
| 234 | | Yan Zhang:
Authentication Overhead in Wireless Networks.
ICC 2008: 1505-1509 |
| 233 | | Yan Zhang,
Jim Mee Ng:
A Distributed Group Mobility Adaptive Clustering Algorithm for Mobile Ad Hoc Networks.
ICC 2008: 3161-3165 |
| 232 | | Yan Zhang:
Call Admission Control in OFDM Wireless Multimedia Networks.
ICC 2008: 4154-4159 |
| 231 | | Yan Zhang:
Dynamic Spectrum Access in Cognitive Radio Wireless Networks.
ICC 2008: 4927-4932 |
| 230 | | Yan Liu,
Yan Zhang,
Maosong Sun,
Wenjie Li:
Full-reference quality diagnosis for video summary.
ICME 2008: 1489-1492 |
| 229 | | Yan Zhang,
Qun Dang,
Zhu Jiang,
YongXuan Huang:
A Bi-level Blocked Estimation of Distribution Algorithm with local search for Maximum Clique Problems.
IEEE Congress on Evolutionary Computation 2008: 4112-4117 |
| 228 | | Diane Kelly,
Chirag Shah,
Cassidy R. Sugimoto,
Earl W. Bailey,
Rachael A. Clemens,
Ann K. Irvine,
Nicholas A. Johnson,
Weimao Ke,
Sanghee Oh,
Anezka Poljakova,
Marcos A. Rodriguez,
Megan G. van Noord,
Yan Zhang:
Effects of performance feedback on users' evaluations of an interactive IR system.
IIiX 2008: 75-82 |
| 227 | | Zhu Jiang,
Yan Zhang,
YongXuan Huang,
JiSheng Li:
Calibration of traffic dynamics models with data mining.
IJCNN 2008: 637-642 |
| 226 | | Shujing Wang,
Yan Zhang:
A Logic Programming Based Framework for Security Protocol Verification.
ISMIS 2008: 638-643 |
| 225 | | Yi Zhou,
Yan Zhang:
Meta Level Reasoning and Default Reasoning.
JELIA 2008: 403-415 |
| 224 | | Yi Zhou,
Yan Zhang:
Rule Calculus: Semantics, Axioms and Applications.
JELIA 2008: 416-428 |
| 223 | | Yulin Ding,
Yan Zhang:
A Study of the Model Explosion Problem in CTL Model Update.
SEKE 2008: 752-757 |
| 222 | | Ye Tian,
Min Sheng,
Jiandong Li,
Yan Zhang,
Junliang Yao:
Critical Transmitting Range for Biconnectivity of One-Dimensional Wireless Ad Hoc Networks.
VTC Spring 2008: 108-112 |
| 221 | | Lili Zhang,
Boon-Hee Soong,
Yan Zhang,
Maode Ma,
Yong Liang Guan:
An Analysis of K-Connectivity in Shadowing and Nakagami Fading Wireless Multi-Hop Networks.
VTC Spring 2008: 395-399 |
| 220 | | Yi Zhang,
Yexin Wang,
Lidong Bing,
Yan Zhang:
Weighting Links Using Lexical and Positional Analysis in Web Ranking.
WAIM 2008: 9-16 |
| 219 | | Peng Yang,
Pinjie Liu,
Yan Zhang,
Xiaolei Wang:
RBFNN Siding Mode Control Based on Semi-Physical Simulation Platform.
WKDD 2008: 305-309 |
| 218 | | Qiancheng Jiang,
Lei Zhang,
Yizhen Zhu,
Yan Zhang:
Larger is better: seed selection in link-based anti-spamming algorithms.
WWW 2008: 1065-1066 |
| 217 | | Xindong Wu,
Yan Zhang,
Xingquan Zhu:
Data Mining.
Wiley Encyclopedia of Computer Science and Engineering 2008 |
| 216 | | Manas K. Patra,
Yan Zhang:
An Algebraic Characterization of Security of Cryptographic Protocols
CoRR abs/0802.3328: (2008) |
| 215 | | Mordecai J. Golin,
Yan Zhang:
A Dynamic Programming Approach To Length-Limited Huffman Coding
CoRR abs/0806.4899: (2008) |
| 214 | | Yan Zhang,
Zhengxing Sun,
Wenhui Li:
Texture synthesis based on Direction Empirical Mode Decomposition.
Computers & Graphics 32(2): 175-186 (2008) |
| 213 | | Yanping Li,
Zhenmin Tang,
Hui Ding,
Yan Zhang:
Discriminative Feature Extraction Based on Self-Adaptive Frequency Warping for Robust Speaker Identification.
I. J. Information Acquisition 5(4): 349-358 (2008) |
| 212 | | Honglin Hu,
Yan Zhang,
Hsiao-Hwa Chen:
An Effective QoS Differentiation Scheme for Wireless Mesh Networks.
IEEE Network 22(1): 66-73 (2008) |
| 211 | | Yan Zhang,
Yang Xiao,
Hsiao-Hwa Chen:
Queueing analysis for OFDM subcarrier allocation in broadband wireless multiservice networks.
IEEE Transactions on Wireless Communications 7(10): 3951-3961 (2008) |
| 210 | | Yan Zhang,
Masato Uchida,
Masato Tsuru,
Yuji Oie:
TCP Flow Level Performance Evaluation on Error Rate Aware Scheduling Algorithms in Evolved UTRA and UTRAN Networks.
IEICE Transactions 91-B(3): 761-771 (2008) |
| 209 | | Carol Tenopir,
Peiling Wang,
Yan Zhang,
Beverly Simmons,
Richard Pollard:
Academic users' interactions with ScienceDirect in search tasks: Affective and cognitive behaviors.
Inf. Process. Manage. 44(1): 105-121 (2008) |
| 208 | | Yan Zhang:
The influence of mental models on undergraduate students' searching behavior on the Web.
Inf. Process. Manage. 44(3): 1330-1345 (2008) |
| 207 | | Yan Zhang,
Yulin Ding:
CTL Model Update for System Modifications.
J. Artif. Intell. Res. (JAIR) 31: 113-155 (2008) |
| 206 | | Dongmo Zhang,
Yan Zhang:
An Ordinal Bargaining Solution with Fixed-Point Property.
J. Artif. Intell. Res. (JAIR) 33: 433-464 (2008) |
| 205 | | Yan Zhang,
Xue Wang,
Steven L. Bressler,
Yonghong Chen,
Mingzhou Ding:
Prestimulus Cortical Activity is Correlated with Speed of Visuomotor Processing.
J. Cognitive Neuroscience 20(10): 1915-1925 (2008) |
| 204 | | Yan Zhang:
Undergraduate students' mental models of the Web as an information retrieval system.
JASIST 59(13): 2087-2098 (2008) |
| 203 | | Yan Zhang,
Honglin Hu,
Hsiao-Hwa Chen:
QoS Differentiation for IEEE 802.16 WiMAX Mesh Networking.
MONET 13(1-2): 19-37 (2008) |
| 202 | | Lei Shu,
Yan Zhang,
ZhangBing Zhou,
Manfred Hauswirth,
Zhiwen Yu,
Gearoid Hynes:
Transmitting and Gathering Streaming Data in Wireless Multimedia Sensor Networks Within Expected Network Lifetime.
MONET 13(3-4): 306-322 (2008) |
| 201 | | Lei Shu,
Yan Zhang,
ZhangBing Zhou,
Manfred Hauswirth,
Zhiwen Yu,
Gearoid Hynes:
Transmitting and Gathering Streaming Data in Wireless Multimedia Sensor Networks Within Expected Network Lifetime.
MONET 13(3-4): 323 (2008) |
| 200 | | Shiguo Lian,
Yan Zhang,
Jong Hyuk Park,
Paris Kitsos:
Secure multimedia communication.
Security and Communication Networks 1(6): 437-440 (2008) |
| 199 | | Yan Zhang,
Masayuki Fujise:
An approximation and its applications in wireless networks performance analysis.
Wireless Communications and Mobile Computing 8(1): 113-124 (2008) |
| 198 | | Yan Zhang,
Shaoqiu Xiao,
Mingtuo Zhou,
Masayuki Fujise:
Authentication traffics modeling and analysis in next generation wireless networks.
Wireless Communications and Mobile Computing 8(5): 615-625 (2008) |
| 2007 |
|---|
| 197 | | Yan Zhang,
Mircea R. Stan:
Temperature-aware circuit design using adaptive body biasing.
ACM Great Lakes Symposium on VLSI 2007: 84-89 |
| 196 | | Yan Zhang,
Laurence Tianruo Yang,
Jianhua Ma,
Jun Zheng,
Mingtuo Zhou,
Shaoqiu Xiao:
Quantitative Analysis of Location Management and QoS in Wireless Mobile Networks.
AINA 2007: 573-579 |
| 195 | | Huansheng Ning,
Yu Cong,
Z.-Q. Xu,
T. Hong,
J.-C. Zhao,
Yan Zhang:
Performance Evaluation of RFID Anti-Collision Algorithm with FPGA Implementation.
AINA Workshops (2) 2007: 153-158 |
| 194 | | Yizhen Zhu,
Mingda Wu,
Yan Zhang,
Xiaoming Li:
Promotional Ranking of Search Engine Results: Giving New Web Pages a Chance to Prove Their Values.
APWeb/WAIM 2007: 503-510 |
| 193 | | Shunying Lü,
Wei Wang,
Yan Zhang:
Bayesian Method Based Trusted Overlay for Information Retrieval over Networks.
APWeb/WAIM Workshops 2007: 168-173 |
| 192 | | Jason Cong,
Guojie Luo,
Jie Wei,
Yan Zhang:
Thermal-Aware 3D IC Placement Via Transformation.
ASP-DAC 2007: 780-785 |
| 191 | | Yan Zhang,
Yong Liang,
Chengming Zhang,
Qiulan Wu Wu,
Pingjiu Ge:
Construction of Agricultural Products Logistics Information System Based on .Net and Wap.
CCTA 2007: 495-502 |
| 190 | | Chengming Zhang,
Jixian Zhang,
Yong Liang,
Yan Zhang,
Guitang Yin:
Research of Automatic Monitoring System of Reservoir Based on Embedded System.
CCTA 2007: 503-513 |
| 189 | | Yan Zhang,
Yan Jia,
Xiaobin Huang,
Bin Zhou,
Jian Gu:
A Scalable Method for Efficient Grid Resource Discovery.
CDVE 2007: 97-103 |
| 188 | | Mingda Wu,
Qiancheng Jiang,
Yan Zhang:
Worrisome Rich-Get-Richer? Not the True Story!
CIT 2007: 194-199 |
| 187 | | Qiancheng Jiang,
Yan Zhang:
SiteRank-Based Crawling Ordering Strategy for Search Engines.
CIT 2007: 259-263 |
| 186 | | Yan Zhang,
Yan Jia,
Xiaobin Huang,
Bin Zhou,
Jian Gu:
A Grid Resource Discovery Method Based on Adaptive k -Nearest Neighbors Clustering.
COCOA 2007: 171-181 |
| 185 | | Shihui Wang,
Yan Zhang,
Wei Wang:
Reliable Self-Clustering P2P Overlay Networks.
COMPSAC (1) 2007: 105-108 |
| 184 | | Yulin Ding,
Yan Zhang:
System Modification Case Studies.
COMPSAC (2) 2007: 355-360 |
| 183 | | Yan Zhang,
Sudhanva Gurumurthi,
Mircea R. Stan:
SODA: Sensitivity Based Optimization of Disk Architecture.
DAC 2007: 865-870 |
| 182 | | Xiaofeng Yu,
Yan Zhang,
Tian Zhang,
Linzhang Wang,
Jianhua Zhao,
Guoliang Zheng,
Xuandong Li:
Towards a Model Driven Approach to Automatic BPEL Generation.
ECMDA-FA 2007: 204-218 |
| 181 | | Yan Zhang,
Masato Uchida,
Masato Tsuru,
Yuji Oie:
Can Scheduling with Error Rate Consideration Support TCP Performance Comparable to Packet Combining HARQ in Evolved UTRA and UTRAN Networks?
ECUMN 2007: 135-144 |
| 180 | | Khaled M. Elbassioni,
René Sitters,
Yan Zhang:
A Quasi-PTAS for Profit-Maximizing Pricing on Line Graphs.
ESA 2007: 451-462 |
| 179 | | Yan Zhang,
Sheng Wang,
Lemin Li:
B-Reno: A New TCP Implementation Designed for TCP over OBS Networks.
FGCN (1) 2007: 185-190 |
| 178 | | Huansheng Ning,
Na Ning,
Shenfeng Qu,
Yan Zhang,
Huiping Yang:
Layered Structure and Management in Internet of Things.
FGCN (2) 2007: 386-389 |
| 177 | | Caiming Liu,
Tao Li,
Hui Zhao,
Lingxi Peng,
Jinquan Zeng,
Yan Zhang:
Exploration of Network Security Information Hid in Web Pages Based on Immunology.
FSKD (1) 2007: 587-591 |
| 176 | | Yi Zhang,
Lidong Bing,
Yexin Wang,
Yan Zhang:
LET: Towards More Precise Clustering of Search Results.
FSKD (2) 2007: 385-389 |
| 175 | | Yan Zhang,
Zhenmin Tang,
Yanping Li,
Bo Qian:
Ensemble Learning and Optimizing KNN Method for Speaker Recognition.
FSKD (4) 2007: 285-289 |
| 174 | | Akaysha C. Tang,
Matthew T. Sutherland,
Peng Sun,
Yan Zhang,
Masato Nakazawa,
Amy Korzekwa,
Zhen Yang,
Mingzhou Ding:
Top-Down Versus Bottom-Up Processing in the Human Brain: Distinct Directional Influences Revealed by Integrating SOBI and Granger Causality.
ICA 2007: 802-809 |
| 173 | | Rong Yu,
Yan Zhang,
Zhi Sun,
Shunliang Mei:
Energy and QoS Aware Packet Forwarding in Wireless Sensor Networks.
ICC 2007: 3277-3282 |
| 172 | | Yan Zhang:
Handoff Probability in Wireless Networks Over Rayleigh Fading Channel: A Cross-layer Approach.
ICC 2007: 5660-5664 |
| 171 | | Yan Zhang,
Xindong Wu:
Noise Modeling with Associative Corruption Rules.
ICDM 2007: 733-738 |
| 170 | | Yan Zhang,
Yan Jia,
Xiaobin Huang,
Bin Zhou,
Jian Gu:
An Adaptive k -Nearest Neighbors Clustering Algorithm for Complex Distribution Dataset.
ICIC (2) 2007: 398-407 |
| 169 | | Yan Zhang,
Feng Yang,
YongXuan Huang:
A novel selection-learning algorithm for multi-satellite scheduling problems.
IEEE Congress on Evolutionary Computation 2007: 1318-1324 |
| 168 | | Yan Zhang:
Epistemic Reasoning in Logic Programs.
IJCAI 2007: 647-653 |
| 167 | | Yan Zhang,
Wei Wang,
Shunying Lü:
Simulating Trust Overlay in P2P Networks.
International Conference on Computational Science (1) 2007: 632-639 |
| 166 | | Robert Capra,
Gary Marchionini,
Jung Sun Oh,
Frederic Stutzman,
Yan Zhang:
Effects of structure and interaction style on distinct search tasks.
JCDL 2007: 442-451 |
| 165 | | Yi Zhou,
Fangzhen Lin,
Yan Zhang:
General Default Logic.
LPNMR 2007: 241-253 |
| 164 | | Shengyang Yu,
Yan Zhang,
Yonggang Wang,
Jie Yang:
Color-Texture Image Segmentation by Combining Region and Photometric Invariant Edge Information.
MCAM 2007: 286-294 |
| 163 | | Dapeng Wang,
Kai Liu,
Lianzhen Cheng,
Yan Zhang:
A Novel Multiple Access Protocol with QoS Support for Mobile Ad Hoc Networks.
NPC 2007: 260-266 |
| 162 | | Xuedong Tian,
Yan Zhang:
Segmentation of Touching Characters in Mathematical Expressions Using Contour Feature Technique.
SNPD (1) 2007: 206-209 |
| 161 | | Yang Liu,
Yan Liu,
Yan Zhang:
The Hong Kong Polytechnic University at TRECVID 2007 BBC rushes summarization.
TVS 2007: 50-54 |
| 160 | | Yan Zhang,
Chunchang Tian,
Zheng Jiang,
Xin Zhang,
Dacheng Yang:
Capacity Analysis of Delay-Sensitive Services with Multi-User Packet in Forward Link of TDMA System.
VTC Fall 2007: 1132-1136 |
| 159 | | Zheng Jiang,
Yanyan Liao,
Yan Zhang,
Dacheng Yang,
Xin Zhang:
Performance Analysis of Multiuser Transmission with Adaptive Antenna Arrays Using Spatial Classes.
VTC Fall 2007: 980-984 |
| 158 | | Yifan Chen,
Chau Yuen,
Yan Zhang,
Zhenrong Zhang:
Cross-Correlation Analysis of Generalized Distributed Antenna Systems with Cooperative Diversity.
VTC Spring 2007: 309-313 |
| 157 | | Jun Zheng,
Yan Zhang,
Ling Wang,
Jinlin Chen:
Adaptive location update area design for wireless cellular networks under 2D Markov walk model.
Computer Communications 30(9): 2060-2069 (2007) |
| 156 | | Yan Zhang:
Approaching V-BLAST Capacity With Adaptive Modulation and LDPC Encoding.
IEEE Transactions on Communications 55(12): 2261-2269 (2007) |
| 155 | | Yan Zhang,
Paul H. Siegel,
Laurence B. Milstein:
Approaching V-BLAST Capacity With Adaptive Modulation and LDPC Encoding.
IEEE Transactions on Communications 55(7): 1439-1439 (2007) |
| 154 | | Xiaofeng Yu,
Yan Zhang,
Tian Zhang,
Linzhang Wang,
Jun Hu,
Jianhua Zhao,
Xuandong Li:
A model-driven development framework for enterprise Web services.
Information Systems Frontiers 9(4): 391-409 (2007) |
| 153 | | Shujing Wang,
Yan Zhang:
Handling distributed authorization with delegation through answer set programming.
Int. J. Inf. Sec. 6(1): 27-46 (2007) |
| 152 | | Yan Zhang,
Zhifeng Chen,
Yuanyuan Zhou:
Efficient Execution of Multiple Queries on Deep Memory Hierarchy.
J. Comput. Sci. Technol. 22(2): 273-279 (2007) |
| 151 | | Mordecai J. Golin,
Yan Zhang:
The two-median problem on Manhattan meshes.
Networks 49(3): 226-233 (2007) |
| 150 | | Yan Zhang,
Shiuh-Ming Luoh,
Lawrence S. Hon,
Robert Baertsch,
William I. Wood,
Zemin Zhang:
GeneHub-GEPIS: digital expression profiling for normal and cancer tissues based on an integrated gene database.
Nucleic Acids Research 35(Web-Server-Issue): 152-158 (2007) |
| 149 | | Joshua S. Kaminker,
Yan Zhang,
Colin K. Watanabe,
Zemin Zhang:
CanPredict: a computational tool for predicting cancer-associated missense mutations.
Nucleic Acids Research 35(Web-Server-Issue): 595-598 (2007) |
| 2006 |
|---|
| 148 | | Dongmo Zhang,
Yan Zhang:
A Computational Model of Logic-Based Negotiation.
AAAI 2006 |
| 147 | | Wenbiao Zhou,
Yan Zhang,
Zhigang Mao:
Pareto based Multi-objective Mapping IP Cores onto NoC Architectures.
APCCAS 2006: 331-334 |
| 146 | | Jason Cong,
Ashok Jagannathan,
Yuchun Ma,
Glenn Reinman,
Jie Wei,
Yan Zhang:
An automated design flow for 3D microarchitecture evaluation.
ASP-DAC 2006: 384-389 |
| 145 | | Dongmo Zhang,
Yan Zhang:
Logical Properties of Belief-Revision-Based Bargaining Solution.
Australian Conference on Artificial Intelligence 2006: 79-89 |
| 144 | | Yi Zhang,
Lei Zhang,
Yan Zhang,
Xiaoming Li:
XRank: Learning More fromWeb User Behaviors.
CIT 2006: 36 |
| 143 | | Lei Zhang,
Yi Zhang,
Yan Zhang,
Xiaoming Li:
Exploring both Content and Link Quality for Anti-Spamming.
CIT 2006: 37 |
| 142 | | Zhijian Lu,
Yan Zhang,
Mircea R. Stan,
John Lach,
Kevin Skadron:
Procrastinating voltage scheduling with discrete frequency sets.
DATE 2006: 456-461 |
| 141 | | Yan Zhang,
Jussi Roivainen,
Aarne Mämmelä:
Clock-Gating in FPGAs: A Novel and Comparative Evaluation.
DSD 2006: 584-590 |
| 140 | | Yulin Ding,
Yan Zhang:
CTL Model Update: Semantics, Computations and Implementation.
ECAI 2006: 362-366 |
| 139 | | Xinyou Zhao,
Mitsuji Matsumoto,
Yan Zhang:
A Real-time Interactive Instructor Framework for Distance Education.
ECBS 2006: 489-490 |
| 138 | | Xiaofeng Yu,
Jun Hu,
Yan Zhang,
Tian Zhang,
Linzhang Wang,
Jianhua Zhao,
Xuandong Li:
A Model Driven Development Framework for Enterprise Web Services.
EDOC 2006: 75-84 |
| 137 | | Maode Ma,
Jialing Zheng,
Yan Zhang,
Zhenhai Shao,
Masayuki Fujise:
A Power-Controlled Rate-Adaptive MAC Protocol to Support Differentiated Service in Wireless Ad Hoc Networks.
GLOBECOM 2006 |
| 136 | | Yan Zhang,
Wei Qu,
Anna Liu:
Adaptive Self-Configuration Architecture for J2EE-Based Middleware Systems.
HICSS 2006 |
| 135 | | Jiguo Zeng,
Yan Zhang,
Chen Liu,
Shouyi Zhan:
Fast Modeling of Curved Object from Two Images.
HIS 2006: 22 |
| 134 | | Xinyou Zhao,
Yan Zhang:
An Instructor-Oriented Prototype System for Virtual Classroom.
ICALT 2006: 200-204 |
| 133 | | Yan Zhang,
Zhengxing Sun,
Wenhui Li:
Creating Dynamic Panorama Using Particle Swarm Optimization.
ICAT 2006: 676-685 |
| 132 | | Cui-xiang Liu,
Yi-cai Sun,
Ming Yu,
Yan Zhang,
Cun-da Yuan:
Face Recognition Based on Polynomial Fuzzy Matching.
ICAT Workshops 2006: 387-390 |
| 131 | | Yan Zhang,
Xingquan Zhu,
Xindong Wu:
Corrective Classification: Classifier Ensembling with Corrective and Diverse Base Learners.
ICDM 2006: 1199-1204 |
| 130 | | Yan Zhang,
Jun Hu,
Xiaofeng Yu,
Tian Zhang,
Xuandong Li,
Guoliang Zheng:
Scenario-Based Component Behavior Derivation.
ICFEM 2006: 206-225 |
| 129 | | Tao Zhang,
Yan Zhang,
Xijian Ping,
Mingwu Song:
Detection of LSB Steganography based on Image Smoothness.
ICME 2006: 1377-1380 |
| 128 | | Yan Zhang,
Qing Xu,
Tao Wang,
Lei Sun:
Limited Recurrent Neural Network for Superresolution Image Reconstruction.
ICONIP (2) 2006: 304-313 |
| 127 | | Tao Wang,
Yan Zhang,
Yong Sheng Zhang:
SuperResolution Image Reconstruction Using a Hybrid Bayesian Approach.
ICONIP (2) 2006: 412-419 |
| 126 | | Yan Zhang,
Masato Uchida,
Masato Tsuru,
Yuji Oie:
Scheduling algorithms with error rate consideration in HSDPA networks.
IWCMC 2006: 1241-1246 |
| 125 | | Yan Zhang:
Computational Properties of Epistemic Logic Programs.
KR 2006: 308-317 |
| 124 | | Yulin Ding,
Yan Zhang:
A Case Study for CTL Model Update.
KSEM 2006: 88-101 |
| 123 | | Jun Zheng,
Yan Zhang,
Ling Wang,
Jinlin Chen:
Adaptive Location Update Area Design for PCS Networks under 2D Markov Walk Model.
LCN 2006: 247-253 |
| 122 | | Yan Zhang,
Xiaofeng Yu,
Tian Zhang,
Xuandong Li,
Guoliang Zheng:
Scenario-based Component Behavior Filtration.
SET 2006: 25-36 |
| 121 | | Wolfgang W. Bein,
Mordecai J. Golin,
Lawrence L. Larmore,
Yan Zhang:
The Knuth-Yao quadrangle-inequality speedup is a consequence of total-monotonicity.
SODA 2006: 31-40 |
| 120 | | Jiguo Zeng,
Yan Zhang,
Shouyi Zhan,
Chen Liu:
Reconstructing Symmetric Curved Surfaces from a Single Image and Its Application.
VSMM 2006: 204-213 |
| 119 | | Yan Zhang,
Lin Du,
Dan Shang,
Yuhang Yang:
Performance Analysis of Intra-Cell Spatial Reuse in a P2P-Enabled TDD CDMA Network.
VTC Fall 2006: 1-5 |
| 118 | | Yan Zhang,
Zhifeng Chen,
Yuanyuan Zhou:
MiniTasking: Improving Cache Performance for Multiple Query Workloads.
WAIM 2006: 287-299 |
| 117 | | Amotz Bar-Noy,
Mordecai J. Golin,
Yan Zhang:
Online Dynamic Programming Speedups.
WAOA 2006: 43-54 |
| 116 | | Yan Zhang:
Logic program-based updates.
ACM Trans. Comput. Log. 7(3): 421-472 (2006) |
| 115 | | Rudolf Fleischer,
Mordecai J. Golin,
Yan Zhang:
Online Maintenance of k-Medians and k-Covers on a Line.
Algorithmica 45(4): 549-567 (2006) |
| 114 | | Yan Zhang,
Norman Y. Foo:
Solving logic program conflict through strong and weak forgettings.
Artif. Intell. 170(8-9): 739-778 (2006) |
| 113 | | Yan Zhang,
Jun Zheng,
Lili Zhang,
Yifan Chen,
Maode Ma:
Modeling location management in wireless networks with generally distributed parameters.
Computer Communications 29(12): 2386-2395 (2006) |
| 112 | | Yan Zhang,
Boon-Hee Soong,
Miao Ma:
A dynamic channel assignment scheme for voice/data integration in GPRS networks.
Computer Communications 29(8): 1163-1173 (2006) |
| 111 | | Yan Zhang,
Jun Hu,
Xiaofeng Yu,
Tian Zhang,
Xuandong Li,
Guoliang Zheng:
Deriving Available Behavior All Out from Incompatible Component Compositions.
Electr. Notes Theor. Comput. Sci. 160: 349-361 (2006) |
| 110 | | Yan Zhang,
Masayuki Fujise:
Security Management in the Next Generation Wireless Networks.
I. J. Network Security 3(1): 1-7 (2006) |
| 109 | | Yan Zhang,
Boon-Hee Soong:
Performance of mobile networks with wireless channel unreliability and resource insufficiency.
IEEE Transactions on Wireless Communications 5(5): 990-995 (2006) |
| 108 | | Jianwen Chen,
Yan Zhang:
A rule based knowledge transaction model for mobile environments.
Inf. Sci. 176(18): 2642-2672 (2006) |
| 107 | | Vino Fernando Crescini,
Yan Zhang:
PolicyUpdater: a system for dynamic access control.
Int. J. Inf. Sec. 5(3): 145-165 (2006) |
| 106 | | Peng Liu,
Yan Zhang,
Zhigang Mao:
A Restoration Algorithm for Images Contaminated by Impulse Noise.
Journal of Computer Research and Development 43(11): 1939-1946 (2006) |
| 2005 |
|---|
| 105 | | Yan Zhang,
Norman Y. Foo:
A Unified Framework for Representing Logic Program Updates.
AAAI 2005: 707-713 |
| 104 | | Shujing Wang,
Yan Zhang:
A Formalization of Distributed Authorization with Delegation.
ACISP 2005: 303-315 |
| 103 | | Jason Cong,
Yan Zhang:
Thermal-driven multilevel routing for 3-D ICs.
ASP-DAC 2005: 121-126 |
| 102 | | Yan Zhang:
Architecture and performance comparison of a statistic-based lottery arbiter for shared bus on chip.
ASP-DAC 2005: 1313-1316 |
| 101 | | Shujing Wang,
Yan Zhang:
Answer Set Programming for Distributed Authorization: The Language, Computations, and Application.
Australian Conference on Artificial Intelligence 2005: 1191-1194 |
| 100 | | Yulin Ding,
Yan Zhang:
Model Updating CTL Systems.
Australian Conference on Artificial Intelligence 2005: 5-16 |
| 99 | | Yan Zhang,
Xiangdong Qin:
Effectively Maintaining Multiple View Consistency in Web Warehouses.
CIT 2005: 187-193 |
| 98 | | Yan Zhang,
Xiangdong Qin:
Effectively Maintaining Single View Consistency in Web Warehouses.
CIT 2005: 199-205 |
| 97 | | Yan Zhang,
Zhijian Lu,
John Lach,
Kevin Skadron,
Mircea R. Stan:
Optimal procrastinating voltage scheduling for hard real-time systems.
DAC 2005: 905-908 |
| 96 | | Jun Hu,
Xiaofeng Yu,
Yan Zhang,
Tian Zhang,
Xuandong Li,
Guoliang Zheng:
Checking Component-Based Embedded Software Designs for Scenario-Based Timing Specifications.
EUC 2005: 395-404 |
| 95 | | Jason Cong,
Yan Zhang:
Thermal via planning for 3-D ICs.
ICCAD 2005: 745-752 |
| 94 | | Yan Zhang,
Zhanli Sun:
A general introduction to the research and legislation of Chinese electronic commerce law.
ICEC 2005: 864-870 |
| 93 | | Jim Mee Ng,
Yan Zhang:
A Mobility Model with Group Partitioning for Wireless Ad Hoc Networks.
ICITA (2) 2005: 289-294 |
| 92 | | Yan Zhang,
Wenhui Li,
Yu Meng,
Haixu Chen,
Tong Wang:
Intelligent Mosaics Algorithm of Overlapping Images.
ICNC (3) 2005: 938-942 |
| 91 | | Jun Hu,
Xiaofeng Yu,
Yan Zhang,
Tian Zhang,
Linzhang Wang,
Xuandong Li,
Guoliang Zheng:
Scenario-Based Specifications Verification for Component-Based Embedded Software Designs.
ICPP Workshops 2005: 240-247 |
| 90 | | Yan Zhang,
Xingquan Zhu,
Xindong Wu,
Jeffrey P. Bond:
ACE: An Aggressive Classifier Ensemble with Error Detection, Correction, and Cleansing.
ICTAI 2005: 310-317 |
| 89 | | Yan Zhang,
Norman Y. Foo,
Kewen Wang:
Solving Logic Program Conflict through Strong and Weak Forgettings.
IJCAI 2005: 627-634 |
| 88 | | Yan Zhang,
Travis N. Blalock,
Mircea R. Stan:
A three-level toggle-avoid bus signaling scheme.
ISCAS (2) 2005: 1843-1846 |
| 87 | | Yulin Ding,
Yan Zhang:
A Logic Approach for LTL System Modification.
ISMIS 2005: 435-444 |
| 86 | | Yulin Ding,
Yan Zhang:
Algorithms for CTL System Modification.
KES (2) 2005: 1000-1006 |
| 85 | | Shujing Wang,
Yan Zhang:
Specifying Distributed Authorization with Delegation Using Logic Programming.
KES (2) 2005: 761-767 |
| 84 | | Kewen Wang,
Yan Zhang:
Nested Epistemic Logic Programs.
LPNMR 2005: 279-290 |
| 83 | | Zhifeng Chen,
Yan Zhang,
Yuanyuan Zhou,
Heidi Scott,
Berni Schiefer:
Empirical evaluation of multi-level buffer cache collaboration for storage systems.
SIGMETRICS 2005: 145-156 |
| 82 | | Yan Zhang,
Xiangdong Qin:
State Transfer Graph: An Efficient Tool for Webview Maintenance.
WAIM 2005: 513-525 |
| 81 | | Yan Zhang,
Wei Qu,
Anna Liu:
Automatic Performance Tuning for J2EE Application Server Systems.
WISE 2005: 520-527 |
| 80 | | Chitta Baral,
Yan Zhang:
Knowledge updates: Semantics and complexity issues.
Artif. Intell. 164(1-2): 209-243 (2005) |
| 79 | | Yan Zhang,
Vadim N. Gladyshev:
An algorithm for identification of bacterial selenocysteine insertion sequence elements and selenoprotein genes.
Bioinformatics 21(11): 2580-2589 (2005) |
| 78 | | Liwei Wang,
Yan Zhang,
Jufu Feng:
On the Euclidean Distance of Images.
IEEE Trans. Pattern Anal. Mach. Intell. 27(8): 1334-1339 (2005) |
| 77 | | Jason Cong,
Jie Fang,
Min Xie,
Yan Zhang:
MARS-a multilevel full-chip gridless routing system.
IEEE Trans. on CAD of Integrated Circuits and Systems 24(3): 382-394 (2005) |
| 76 | | Yan Zhang,
Laurence B. Milstein,
Paul H. Siegel:
Tradeoff between diversity gain and interference suppression in a MIMO MC-CDMA system.
IEEE Transactions on Communications 53(4): 623-631 (2005) |
| 75 | | Yan Zhang,
Boon-Hee Soong:
The effect of unreliable wireless channel on the call performance in mobile network.
IEEE Transactions on Wireless Communications 4(2): 653-661 (2005) |
| 74 | | Shaoyuan Li,
Yan Zhang,
Quanmin Zhu:
Nash-optimization enhanced distributed model predictive control applied to the Shell benchmark problem.
Inf. Sci. 170(2-4): 329-349 (2005) |
| 73 | | Yun Bai,
Yan Zhang,
Vijay Varadharajan:
On the sequence of authorization policy transformations.
Int. J. Inf. Sec. 4(1-2): 120-131 (2005) |
| 2004 |
|---|
| 72 | | Vino Fernando Crescini,
Yan Zhang:
A Logic Based Approach for Dynamic Access Control.
Australian Conference on Artificial Intelligence 2004: 623-635 |
| 71 | | Norman Y. Foo,
Pavlos Peppas,
Yan Zhang:
Constraints from STRIPS - Preliminary Report.
Australian Conference on Artificial Intelligence 2004: 670-680 |
| 70 | | Jianwen Chen,
Yan Zhang:
An extended logic programming based multi-agent system formalization in mobile environments.
CIKM 2004: 166-167 |
| 69 | | Yan Zhang,
Shiwei Tang,
Dongqing Yang:
Efficient View Maintenance in a Large-Scale Web Warehouse.
CIT 2004: 992-997 |
| 68 | | Yingmin Li,
Dharmesh Parikh,
Yan Zhang,
Karthik Sankaranarayanan,
Mircea R. Stan,
Kevin Skadron:
State-Preserving vs. Non-State-Preserving Leakage Control in Caches.
DATE 2004: 22-29 |
| 67 | | Hai Huang,
Shaofeng Wang,
Yan Zhang,
Wei Wu:
Resource Discovery Mechanism for Large-Scale Distributed Simulation Oriented Data Grid.
GCC 2004: 431-439 |
| 66 | | Rena Ding,
Yan Zhang:
Dual space drawing methods for cones.
GRAPHITE 2004: 148-154 |
| 65 | | Yan Zhang,
Shaoyuan Li:
Optimization design for a class of multi-input nonlinear cascade systems: backstepping approach.
ICARCV 2004: 1723-1728 |
| 64 | | Jason Cong,
Jie Wei,
Yan Zhang:
A thermal-driven floorplanning algorithm for 3D ICs.
ICCAD 2004: 306-313 |
| 63 | | Vino Fernando Crescini,
Yan Zhang,
Weiyuan Wang:
Web server authorisation with the policyupdater access control system.
ICWI 2004: 945-948 |
| 62 | | Jianwen Chen,
Yan Zhang:
A Multi-Agent System for Mobile Environments.
Intelligent Information Processing 2004: 11-22 |
| 61 | | Kaile Su,
Guanfeng Lv,
Yan Zhang:
Reasoning about Knowledge by Variable Forgetting.
KR 2004: 576-586 |
| 60 | | Mircea R. Stan,
Yan Zhang:
Perfect 3-Limited-Weight Code for Low Power I/O.
PATMOS 2004: 79-89 |
| 59 | | Rudolf Fleischer,
Mordecai J. Golin,
Yan Zhang:
Online Maintenance of k-Medians and k-Covers on a Line.
SWAT 2004: 102-113 |
| 58 | | Yan Zhang,
David A. Eberhard,
Gretchen D. Frantz,
Patrick Dowd,
Thomas D. Wu,
Yan Zhou,
Colin K. Watanabe,
Shiuh-Ming Luoh,
Paul Polakis,
Kenneth J. Hillan,
William I. Wood,
Zemin Zhang:
GEPIS - quantitative gene expression profiling in normal and cancer tissues.
Bioinformatics 20(15): 2390-2398 (2004) |
| 57 | | Yan Zhang,
Boon-Hee Soong:
Handoff counting in hierarchical cellular system with overflow scheme.
Computer Networks 46(4): 541-554 (2004) |
| 56 | | Dharmesh Parikh,
Kevin Skadron,
Yan Zhang,
Mircea R. Stan:
Power-Aware Branch Prediction: Characterization and Design.
IEEE Trans. Computers 53(2): 168-186 (2004) |
| 55 | | Yun Bai,
Yan Zhang:
Artificial Intelligence In Database Security.
IJPRAI 18(1): 3-17 (2004) |
| 2003 |
|---|
| 54 | | Yan Zhang,
Anna Liu,
Wei Qu:
Comparing Industry Benchmarks for J2EE Application Server : IBM's Trade2 vs Sun's ECperf.
ACSC 2003: 199-206 |
| 53 | | Yan Zhang,
Jufu Feng:
Eliminating Variation of Face Images Using Face Symmetry.
AVBPA 2003: 523-530 |
| 52 | | Rena Ding,
Yan Zhang:
The Dual Drawing Method of the Hyperbolic Paraboloid and the Screen Representation of the Ruling.
CISST 2003: 410-415 |
| 51 | | Chun Ruan,
Vijay Varadharajan,
Yan Zhang:
Evaluation of Authorization with Delegation and Negation.
IIS 2003: 547-551 |
| 50 | | Yan Zhang:
Minimal Change and Maximal Coherence for Epistemic Logic Program Updates.
IJCAI 2003: 112-120 |
| 49 | | Chun Ruan,
Vijay Varadharajan,
Yan Zhang:
A Logic Model for Temporal Authorization Delegation with Negation.
ISC 2003: 310-324 |
| 48 | | Yan Zhang,
Yun Bai:
The Characterization on the Uniqueness of Answer Set for Prioritized Logic Programs.
ISMIS 2003: 349-356 |
| 47 | | Fabian Kuhn,
Roger Wattenhofer,
Yan Zhang,
Aaron Zollinger:
Geometric ad-hoc routing: of theory and practice.
PODC 2003: 63-72 |
| 46 | | Chun Ruan,
Vijay Varadharajan,
Yan Zhang:
Delegatable Authorization Program and Its Application.
Security and Management 2003: 267-273 |
| 45 | | Yan Zhang:
Experimental comparison of superquadric fitting objective functions.
Pattern Recognition Letters 24(14): 2185-2193 (2003) |
| 44 | | Yan Zhang:
Two results for prioritized logic programming.
TPLP 3(2): 223-242 (2003) |
| 43 | | Yan Zhang:
Handling defeasibilities in action domains.
TPLP 3(3): 329-376 (2003) |
| 2002 |
|---|
| 42 | | Yan Zhang,
Bo Xu,
Chengqing Zong:
Chinese Syntactic Parsing Based on Extended GLR Parsing Algorithm with PCFG*.
COLING 2002 |
| 41 | | Dharmesh Parikh,
Kevin Skadron,
Yan Zhang,
Marco Barcella,
Mircea R. Stan:
Power Issues Related to Branch Prediction.
HPCA 2002: 233- |
| 40 | | Jason Cong,
Min Xie,
Yan Zhang:
An enhanced multilevel routing system.
ICCAD 2002: 51-58 |
| 39 | | SangKyu Kang,
Joon Ki Paik,
Besma R. Abidi,
Yan Zhang,
Joon Ki Paik,
Andreas Koschan,
Mongi A. Abidi:
Hierarchical approach to enhanced active shape model for color video tracking.
ICIP (1) 2002: 888-891 |
| 38 | | Yan Zhang,
Joon Ki Paik,
Andreas Koschan,
Mongi A. Abidi,
David Gorsich:
Simple and efficient algorithm for part decomposition of 3-D triangulated models based on curvature analysis.
ICIP (3) 2002: 273-276 |
| 37 | | Yan Zhang,
Joon Ki Paik,
Andreas Koschan,
Mongi A. Abidi:
3-D Object Representation from Multi-View Range Data Applying Deformable Superquadrics.
ICPR (3) 2002: 611-614 |
| 36 | | Yan Zhang,
John Lach,
Kevin Skadron,
Mircea R. Stan:
Odd/even bus invert with two-phase transfer for buses with coupling.
ISLPED 2002: 80-83 |
| 35 | | Chun Ruan,
Vijay Varadharajan,
Yan Zhang:
Logic-Based Reasoning on Delegatable Authorizations.
ISMIS 2002: 185-193 |
| 34 | | Chitta Baral,
Yan Zhang:
The Complexity of Model Checking for Knowledge Update.
KR 2002: 82-96 |
| 33 | | Yan Zhang,
Norman Y. Foo:
Representing Actions over Dynamic Domains.
PRICAI 2002: 60-69 |
| 32 | | Yan Zhang:
Two results for proiritized logic programming
CoRR cs.AI/0203007: (2002) |
| 31 | | Yan Zhang:
Handling Defeasibilities in Action Domains
CoRR cs.AI/0206003: (2002) |
| 2001 |
|---|
| 30 | | Yan Zhang,
Vijay Varadharajan:
A Logic for Modeling the Dynamics of Beliefs in Cryptographic Protocols.
ACSC 2001: 215-222 |
| 29 | | Yan Zhang:
The Complexity of Logic Program Updates.
Australian Joint Conference on Artificial Intelligence 2001: 631-642 |
| 28 | | Yun Bai,
Yan Zhang:
On the Computational Aspect of Rule Based Database Updates.
IEA/AIE 2001: 71-81 |
| 27 | | Chitta Baral,
Yan Zhang:
On the Semantics of Knowledge Update.
IJCAI 2001: 97-102 |
| 26 | | Norman Y. Foo,
Dongmo Zhang,
Yan Zhang,
Samir Chopra,
Quoc Bao Vo:
Encoding Solutions of the Frame Problem in Dynamic Logic.
LPNMR 2001: 240-253 |
| 25 | | Yan Zhang,
Cheng-Min Wu,
Yun Bai:
Implementing prioritized logic programming.
AI Commun. 14(4): 183-196 (2001) |
| 24 | | Norman Y. Foo,
Rex Bing Hung Kwok,
Yan Zhang:
Apparent Nondeterminism in Actions.
Journal of Research and Practice in Information Technology 33(4): 360-368 (2001) |
| 2000 |
|---|
| 23 | | Hongxue Wang,
Vijay Varadharajan,
Yan Zhang:
Towards a Generic Logic for Analysing Network Protocols.
ICDCS Workshop on Internet 2000: A19-A26 |
| 22 | | Sai Kiran Lakkaraju,
Yan Zhang:
Rule Based Abduction.
ISMIS 2000: 525-533 |
| 21 | | Yan Zhang,
Yiyong Sun,
Hamed Sari-Sarraf,
Mongi A. Abidi:
Impact of Intensity Edge map on Segmentation of Noisy Range Images.
Three-Dimensional Image Capture and Applications 2000: 260-269 |
| 20 | | Yan Zhang,
Norman Y. Foo:
Updates with Disjunctive Information: From Syntactical and Semantical Perspectives.
Computational Intelligence 16(1): 29-52 (2000) |
| 1999 |
|---|
| 19 | | Yan Zhang,
Chi Chi Hung,
Yi Ding:
Optimization of Multi-Layer Feed-forward Neural Network Through Second Degree Superposition.
Applied Informatics 1999: 32-35 |
| 18 | | Sai Kiran Lakkaraju,
Yan Zhang:
A Procedural Approach for Rule Based Update.
Australian Joint Conference on Artificial Intelligence 1999: 467-468 |
| 17 | | Yan Zhang:
Monotonicity in Rule Based Update.
ICLP 1999: 471-485 |
| 16 | | Cheng-Min Wu,
Yan Zhang:
Implementing Prioritized Logic Programming.
ISMIS 1999: 85-93 |
| 15 | | Yan Zhang:
Specifying Causality in Action Theories: A Default Logic Approach.
Theor. Comput. Sci. 220(2): 489-513 (1999) |
| 1998 |
|---|
| 14 | | Yan Zhang:
Representing Defeasible Constraints and Observations in Action Theories.
Australian Joint Conference on Artificial Intelligence 1998: 309-320 |
| 13 | | Yan Zhang,
Norman Y. Foo:
Updating Logic Programs.
ECAI 1998: 403-407 |
| 12 | | Hongxue Wang,
Vijay Varadharajan,
Yan Zhang:
A Secure Communication Scheme for Multiagent Systems.
PRIMA 1998: 174-185 |
| 1997 |
|---|
| 11 | | Norman Y. Foo,
Pavlos Peppas,
Yan Zhang:
Inductive Properties of States.
Australian Joint Conference on Artificial Intelligence 1997: 227-235 |
| 10 | | Yan Zhang:
Disjunctive Update, Minimal Change, and Default Reasoning.
ECSQARU-FAPR 1997: 600-613 |
| 9 | | Norman Y. Foo,
Abhaya C. Nayak,
Maurice Pagnucco,
Pavlos Peppas,
Yan Zhang:
Action Localness, Genericity and Invariants in STRIPS.
IJCAI (1) 1997: 549-554 |
| 8 | | Yan Zhang,
Norman Y. Foo:
Towards Generalized Rule-based Updates.
IJCAI (1) 1997: 82-88 |
| 7 | | Yan Zhang,
Norman Y. Foo:
Answer Sets for Prioritized Logic Programs.
ILPS 1997: 69-83 |
| 6 | | Yan Zhang:
Constraints, Causal Rules and Minimal Change in Model-based Update.
ISMIS 1997: 609-618 |
| 5 | | Yan Zhang,
Norman Y. Foo:
Deriving Invariants and Constraints from Action Theories.
Fundam. Inform. 30(1): 109-123 (1997) |
| 1996 |
|---|
| 4 | | Yan Zhang,
Norman Y. Foo:
Updating Knowledge Bases with Disjunctive Information.
AAAI/IAAI, Vol. 1 1996: 562-568 |
| 3 | | Yan Zhang:
Semantical Considerations for Knowledge Base Updates.
ISMIS 1996: 88-97 |
| 1995 |
|---|
| 2 | | Yan Zhang,
Norman Y. Foo:
Applying the persistent set approach in temporal reasoning.
Ann. Math. Artif. Intell. 14(1): (1995) |
| 1993 |
|---|
| 1 | | Yan Zhang,
Norman Y. Foo:
Reasoning About Persistence: A Theory of Actions.
IJCAI 1993: 718-723 |
