| 2008 |
|---|
| 201 | | 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 |
| 200 | EE | 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 |
| 199 | EE | 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 |
| 198 | EE | Shujing Wang,
Yan Zhang:
A Logic Programming Based Framework for Security Protocol Verification.
ISMIS 2008: 638-643 |
| 197 | EE | Yi Zhou,
Yan Zhang:
Meta Level Reasoning and Default Reasoning.
JELIA 2008: 403-415 |
| 196 | EE | Yi Zhou,
Yan Zhang:
Rule Calculus: Semantics, Axioms and Applications.
JELIA 2008: 416-428 |
| 195 | | Yulin Ding,
Yan Zhang:
A Study of the Model Explosion Problem in CTL Model Update.
SEKE 2008: 752-757 |
| 194 | EE | Peng Yang,
Pinjie Liu,
Yan Zhang,
Xiaolei Wang:
RBFNN Siding Mode Control Based on Semi-Physical Simulation Platform.
WKDD 2008: 305-309 |
| 193 | EE | Qiancheng Jiang,
Lei Zhang,
Yizhen Zhu,
Yan Zhang:
Larger is better: seed selection in link-based anti-spamming algorithms.
WWW 2008: 1065-1066 |
| 192 | EE | Manas K. Patra,
Yan Zhang:
An Algebraic Characterization of Security of Cryptographic Protocols
CoRR abs/0802.3328: (2008) |
| 191 | EE | Mordecai J. Golin,
Yan Zhang:
A Dynamic Programming Approach To Length-Limited Huffman Coding
CoRR abs/0806.4899: (2008) |
| 190 | EE | 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) |
| 189 | EE | 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) |
| 188 | EE | Yan Zhang:
The influence of mental models on undergraduate students' searching behavior on the Web.
Inf. Process. Manage. 44(3): 1330-1345 (2008) |
| 187 | EE | Yan Zhang,
Masayuki Fujise:
An approximation and its applications in wireless networks performance analysis.
Wireless Communications and Mobile Computing 8(1): 113-124 (2008) |
| 2007 |
|---|
| 186 | EE | Yan Zhang,
Mircea R. Stan:
Temperature-aware circuit design using adaptive body biasing.
ACM Great Lakes Symposium on VLSI 2007: 84-89 |
| 185 | EE | 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 |
| 184 | EE | 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 |
| 183 | EE | 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 |
| 182 | EE | Shunying Lü,
Wei Wang,
Yan Zhang:
Bayesian Method Based Trusted Overlay for Information Retrieval over Networks.
APWeb/WAIM Workshops 2007: 168-173 |
| 181 | EE | Jason Cong,
Guojie Luo,
Jie Wei,
Yan Zhang:
Thermal-Aware 3D IC Placement Via Transformation.
ASP-DAC 2007: 780-785 |
| 180 | EE | 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 |
| 179 | EE | 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 |
| 178 | EE | Yan Zhang,
Yan Jia,
Xiaobin Huang,
Bin Zhou,
Jian Gu:
A Scalable Method for Efficient Grid Resource Discovery.
CDVE 2007: 97-103 |
| 177 | EE | Mingda Wu,
Qiancheng Jiang,
Yan Zhang:
Worrisome Rich-Get-Richer? Not the True Story!
CIT 2007: 194-199 |
| 176 | EE | Qiancheng Jiang,
Yan Zhang:
SiteRank-Based Crawling Ordering Strategy for Search Engines.
CIT 2007: 259-263 |
| 175 | EE | 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 |
| 174 | EE | Shihui Wang,
Yan Zhang,
Wei Wang:
Reliable Self-Clustering P2P Overlay Networks.
COMPSAC (1) 2007: 105-108 |
| 173 | EE | Yulin Ding,
Yan Zhang:
System Modification Case Studies.
COMPSAC (2) 2007: 355-360 |
| 172 | EE | Yan Zhang,
Sudhanva Gurumurthi,
Mircea R. Stan:
SODA: Sensitivity Based Optimization of Disk Architecture.
DAC 2007: 865-870 |
| 171 | EE | 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 |
| 170 | EE | 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 |
| 169 | EE | Khaled M. Elbassioni,
René Sitters,
Yan Zhang:
A Quasi-PTAS for Profit-Maximizing Pricing on Line Graphs.
ESA 2007: 451-462 |
| 168 | EE | Yan Zhang,
Sheng Wang,
Lemin Li:
B-Reno: A New TCP Implementation Designed for TCP over OBS Networks.
FGCN (1) 2007: 185-190 |
| 167 | EE | Huansheng Ning,
Na Ning,
Shenfeng Qu,
Yan Zhang,
Huiping Yang:
Layered Structure and Management in Internet of Things.
FGCN (2) 2007: 386-389 |
| 166 | EE | 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 |
| 165 | EE | Yan Zhang,
Xindong Wu:
Noise Modeling with Associative Corruption Rules.
ICDM 2007: 733-738 |
| 164 | EE | 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 |
| 163 | EE | Yan Zhang:
Epistemic Reasoning in Logic Programs.
IJCAI 2007: 647-653 |
| 162 | EE | Yan Zhang,
Wei Wang,
Shunying Lü:
Simulating Trust Overlay in P2P Networks.
International Conference on Computational Science (1) 2007: 632-639 |
| 161 | EE | 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 |
| 160 | EE | Yi Zhou,
Fangzhen Lin,
Yan Zhang:
General Default Logic.
LPNMR 2007: 241-253 |
| 159 | EE | Shengyang Yu,
Yan Zhang,
Yonggang Wang,
Jie Yang:
Color-Texture Image Segmentation by Combining Region and Photometric Invariant Edge Information.
MCAM 2007: 286-294 |
| 158 | EE | 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 |
| 157 | EE | Xuedong Tian,
Yan Zhang:
Segmentation of Touching Characters in Mathematical Expressions Using Contour Feature Technique.
SNPD (1) 2007: 206-209 |
| 156 | EE | 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 |
| 155 | EE | 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 |
| 154 | EE | Yifan Chen,
Chau Yuen,
Yan Zhang,
Zhenrong Zhang:
Cross-Correlation Analysis of Generalized Distributed Antenna Systems with Cooperative Diversity.
VTC Spring 2007: 309-313 |
| 153 | EE | 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) |
| 152 | EE | Yan Zhang:
Approaching V-BLAST Capacity With Adaptive Modulation and LDPC Encoding.
IEEE Transactions on Communications 55(12): 2261-2269 (2007) |
| 151 | EE | 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) |
| 150 | EE | 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) |
| 149 | EE | Shujing Wang,
Yan Zhang:
Handling distributed authorization with delegation through answer set programming.
Int. J. Inf. Sec. 6(1): 27-46 (2007) |
| 148 | EE | Yan Zhang,
Zhifeng Chen,
Yuanyuan Zhou:
Efficient Execution of Multiple Queries on Deep Memory Hierarchy.
J. Comput. Sci. Technol. 22(2): 273-279 (2007) |
| 147 | EE | Mordecai J. Golin,
Yan Zhang:
The two-median problem on Manhattan meshes.
Networks 49(3): 226-233 (2007) |
| 146 | EE | 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) |
| 145 | EE | 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 |
|---|
| 144 | | Dongmo Zhang,
Yan Zhang:
A Computational Model of Logic-Based Negotiation.
AAAI 2006 |
| 143 | EE | Wenbiao Zhou,
Yan Zhang,
Zhigang Mao:
Pareto based Multi-objective Mapping IP Cores onto NoC Architectures.
APCCAS 2006: 331-334 |
| 142 | EE | 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 |
| 141 | EE | Dongmo Zhang,
Yan Zhang:
Logical Properties of Belief-Revision-Based Bargaining Solution.
Australian Conference on Artificial Intelligence 2006: 79-89 |
| 140 | EE | Yi Zhang,
Lei Zhang,
Yan Zhang,
Xiaoming Li:
XRank: Learning More fromWeb User Behaviors.
CIT 2006: 36 |
| 139 | EE | Lei Zhang,
Yi Zhang,
Yan Zhang,
Xiaoming Li:
Exploring both Content and Link Quality for Anti-Spamming.
CIT 2006: 37 |
| 138 | EE | Zhijian Lu,
Yan Zhang,
Mircea R. Stan,
John Lach,
Kevin Skadron:
Procrastinating voltage scheduling with discrete frequency sets.
DATE 2006: 456-461 |
| 137 | EE | Yan Zhang,
Jussi Roivainen,
Aarne Mämmelä:
Clock-Gating in FPGAs: A Novel and Comparative Evaluation.
DSD 2006: 584-590 |
| 136 | | Yulin Ding,
Yan Zhang:
CTL Model Update: Semantics, Computations and Implementation.
ECAI 2006: 362-366 |
| 135 | EE | Xinyou Zhao,
Mitsuji Matsumoto,
Yan Zhang:
A Real-time Interactive Instructor Framework for Distance Education.
ECBS 2006: 489-490 |
| 134 | EE | 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 |
| 133 | EE | 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 |
| 132 | EE | Yan Zhang,
Wei Qu,
Anna Liu:
Adaptive Self-Configuration Architecture for J2EE-Based Middleware Systems.
HICSS 2006 |
| 131 | EE | Jiguo Zeng,
Yan Zhang,
Chen Liu,
Shouyi Zhan:
Fast Modeling of Curved Object from Two Images.
HIS 2006: 22 |
| 130 | EE | Xinyou Zhao,
Yan Zhang:
An Instructor-Oriented Prototype System for Virtual Classroom.
ICALT 2006: 200-204 |
| 129 | EE | Yan Zhang,
Zhengxing Sun,
Wenhui Li:
Creating Dynamic Panorama Using Particle Swarm Optimization.
ICAT 2006: 676-685 |
| 128 | EE | 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 |
| 127 | EE | Yan Zhang,
Xingquan Zhu,
Xindong Wu:
Corrective Classification: Classifier Ensembling with Corrective and Diverse Base Learners.
ICDM 2006: 1199-1204 |
| 126 | EE | Yan Zhang,
Jun Hu,
Xiaofeng Yu,
Tian Zhang,
Xuandong Li,
Guoliang Zheng:
Scenario-Based Component Behavior Derivation.
ICFEM 2006: 206-225 |
| 125 | EE | Tao Zhang,
Yan Zhang,
Xijian Ping,
Mingwu Song:
Detection of LSB Steganography based on Image Smoothness.
ICME 2006: 1377-1380 |
| 124 | EE | Yan Zhang,
Qing Xu,
Tao Wang,
Lei Sun:
Limited Recurrent Neural Network for Superresolution Image Reconstruction.
ICONIP (2) 2006: 304-313 |
| 123 | EE | Tao Wang,
Yan Zhang,
Yong Sheng Zhang:
SuperResolution Image Reconstruction Using a Hybrid Bayesian Approach.
ICONIP (2) 2006: 412-419 |
| 122 | EE | Yan Zhang,
Masato Uchida,
Masato Tsuru,
Yuji Oie:
Scheduling algorithms with error rate consideration in HSDPA networks.
IWCMC 2006: 1241-1246 |
| 121 | | Yan Zhang:
Computational Properties of Epistemic Logic Programs.
KR 2006: 308-317 |
| 120 | EE | Yulin Ding,
Yan Zhang:
A Case Study for CTL Model Update.
KSEM 2006: 88-101 |
| 119 | EE | 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 |
| 118 | EE | Jiguo Zeng,
Yan Zhang,
Shouyi Zhan,
Chen Liu:
Reconstructing Symmetric Curved Surfaces from a Single Image and Its Application.
VSMM 2006: 204-213 |
| 117 | EE | 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 |
| 116 | EE | Yan Zhang,
Zhifeng Chen,
Yuanyuan Zhou:
MiniTasking: Improving Cache Performance for Multiple Query Workloads.
WAIM 2006: 287-299 |
| 115 | EE | Amotz Bar-Noy,
Mordecai J. Golin,
Yan Zhang:
Online Dynamic Programming Speedups.
WAOA 2006: 43-54 |
| 114 | EE | Yan Zhang:
Logic program-based updates.
ACM Trans. Comput. Log. 7(3): 421-472 (2006) |
| 113 | EE | Rudolf Fleischer,
Mordecai J. Golin,
Yan Zhang:
Online Maintenance of k-Medians and k-Covers on a Line.
Algorithmica 45(4): 549-567 (2006) |
| 112 | EE | Yan Zhang,
Norman Y. Foo:
Solving logic program conflict through strong and weak forgettings.
Artif. Intell. 170(8-9): 739-778 (2006) |
| 111 | EE | 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) |
| 110 | EE | 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) |
| 109 | EE | 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) |
| 108 | EE | 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) |
| 107 | EE | Jianwen Chen,
Yan Zhang:
A rule based knowledge transaction model for mobile environments.
Inf. Sci. 176(18): 2642-2672 (2006) |
| 106 | EE | Vino Fernando Crescini,
Yan Zhang:
PolicyUpdater: a system for dynamic access control.
Int. J. Inf. Sec. 5(3): 145-165 (2006) |
| 105 | EE | 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 |
|---|
| 104 | | Yan Zhang,
Norman Y. Foo:
A Unified Framework for Representing Logic Program Updates.
AAAI 2005: 707-713 |
| 103 | EE | Shujing Wang,
Yan Zhang:
A Formalization of Distributed Authorization with Delegation.
ACISP 2005: 303-315 |
| 102 | EE | Jason Cong,
Yan Zhang:
Thermal-driven multilevel routing for 3-D ICs.
ASP-DAC 2005: 121-126 |
| 101 | EE | Yan Zhang:
Architecture and performance comparison of a statistic-based lottery arbiter for shared bus on chip.
ASP-DAC 2005: 1313-1316 |
| 100 | EE | Shujing Wang,
Yan Zhang:
Answer Set Programming for Distributed Authorization: The Language, Computations, and Application.
Australian Conference on Artificial Intelligence 2005: 1191-1194 |
| 99 | EE | Yulin Ding,
Yan Zhang:
Model Updating CTL Systems.
Australian Conference on Artificial Intelligence 2005: 5-16 |
| 98 | EE | Yan Zhang,
Xiangdong Qin:
Effectively Maintaining Multiple View Consistency in Web Warehouses.
CIT 2005: 187-193 |
| 97 | EE | Yan Zhang,
Xiangdong Qin:
Effectively Maintaining Single View Consistency in Web Warehouses.
CIT 2005: 199-205 |
| 96 | EE | Yan Zhang,
Zhijian Lu,
John Lach,
Kevin Skadron,
Mircea R. Stan:
Optimal procrastinating voltage scheduling for hard real-time systems.
DAC 2005: 905-908 |
| 95 | EE | 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 |
| 94 | | Jason Cong,
Yan Zhang:
Thermal via planning for 3-D ICs.
ICCAD 2005: 745-752 |
| 93 | EE | Yan Zhang,
Zhanli Sun:
A general introduction to the research and legislation of Chinese electronic commerce law.
ICEC 2005: 864-870 |
| 92 | EE | Jim M. Ng,
Yan Zhang:
A Mobility Model with Group Partitioning for Wireless Ad Hoc Networks.
ICITA (2) 2005: 289-294 |
| 91 | EE | Yan Zhang,
Wenhui Li,
Yu Meng,
Haixu Chen,
Tong Wang:
Intelligent Mosaics Algorithm of Overlapping Images.
ICNC (3) 2005: 938-942 |
| 90 | EE | 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 |
| 89 | EE | Yan Zhang,
Xingquan Zhu,
Xindong Wu,
Jeffrey P. Bond:
ACE: An Aggressive Classifier Ensemble with Error Detection, Correction, and Cleansing.
ICTAI 2005: 310-317 |
| 88 | EE | Yan Zhang,
Norman Y. Foo,
Kewen Wang:
Solving Logic Program Conflict through Strong and Weak Forgettings.
IJCAI 2005: 627-634 |
| 87 | EE | Yan Zhang,
Travis Blalock,
Mircea R. Stan:
A three-level toggle-avoid bus signaling scheme.
ISCAS (2) 2005: 1843-1846 |
| 86 | EE | Yulin Ding,
Yan Zhang:
A Logic Approach for LTL System Modification.
ISMIS 2005: 435-444 |
| 85 | EE | Yulin Ding,
Yan Zhang:
Algorithms for CTL System Modification.
KES (2) 2005: 1000-1006 |
| 84 | EE | Shujing Wang,
Yan Zhang:
Specifying Distributed Authorization with Delegation Using Logic Programming.
KES (2) 2005: 761-767 |
| 83 | EE | Kewen Wang,
Yan Zhang:
Nested Epistemic Logic Programs.
LPNMR 2005: 279-290 |
| 82 | EE | 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 |
| 81 | EE | Yan Zhang,
Xiangdong Qin:
State Transfer Graph: An Efficient Tool for Webview Maintenance.
WAIM 2005: 513-525 |
| 80 | EE | Yan Zhang,
Wei Qu,
Anna Liu:
Automatic Performance Tuning for J2EE Application Server Systems.
WISE 2005: 520-527 |
| 79 | EE | Chitta Baral,
Yan Zhang:
Knowledge updates: Semantics and complexity issues.
Artif. Intell. 164(1-2): 209-243 (2005) |
| 78 | EE | Yan Zhang,
Vadim N. Gladyshev:
An algorithm for identification of bacterial selenocysteine insertion sequence elements and selenoprotein genes.
Bioinformatics 21(11): 2580-2589 (2005) |
| 77 | EE | Liwei Wang,
Yan Zhang,
Jufu Feng:
On the Euclidean Distance of Images.
IEEE Trans. Pattern Anal. Mach. Intell. 27(8): 1334-1339 (2005) |
| 76 | EE | 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) |
| 75 | EE | 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) |
| 74 | EE | 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) |
| 73 | EE | 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) |
| 72 | EE | Yun Bai,
Yan Zhang,
Vijay Varadharajan:
On the sequence of authorization policy transformations.
Int. J. Inf. Sec. 4(1-2): 120-131 (2005) |
| 2004 |
|---|
| 71 | EE | Vino Fernando Crescini,
Yan Zhang:
A Logic Based Approach for Dynamic Access Control.
Australian Conference on Artificial Intelligence 2004: 623-635 |
| 70 | EE | Norman Y. Foo,
Pavlos Peppas,
Yan Zhang:
Constraints from STRIPS - Preliminary Report.
Australian Conference on Artificial Intelligence 2004: 670-680 |
| 69 | EE | Jianwen Chen,
Yan Zhang:
An extended logic programming based multi-agent system formalization in mobile environments.
CIKM 2004: 166-167 |
| 68 | EE | Yan Zhang,
Shiwei Tang,
Dongqing Yang:
Efficient View Maintenance in a Large-Scale Web Warehouse.
CIT 2004: 992-997 |
| 67 | EE | 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 |
| 66 | EE | Hai Huang,
Shaofeng Wang,
Yan Zhang,
Wei Wu:
Resource Discovery Mechanism for Large-Scale Distributed Simulation Oriented Data Grid.
GCC 2004: 431-439 |
| 65 | EE | Rena Ding,
Yan Zhang:
Dual space drawing methods for cones.
GRAPHITE 2004: 148-154 |
| 64 | EE | 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 | EE | 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 | EE | Mircea R. Stan,
Yan Zhang:
Perfect 3-Limited-Weight Code for Low Power I/O.
PATMOS 2004: 79-89 |
| 59 | EE | Rudolf Fleischer,
Mordecai J. Golin,
Yan Zhang:
Online Maintenance of k-Medians and k-Covers on a Line.
SWAT 2004: 102-113 |
| 58 | EE | 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 | EE | Yan Zhang,
Boon-Hee Soong:
Handoff counting in hierarchical cellular system with overflow scheme.
Computer Networks 46(4): 541-554 (2004) |
| 56 | EE | 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 | EE | Yun Bai,
Yan Zhang:
Artificial Intelligence In Database Security.
IJPRAI 18(1): 3-17 (2004) |
| 2003 |
|---|
| 54 | EE | 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 | EE | 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 | EE | Chun Ruan,
Vijay Varadharajan,
Yan Zhang:
A Logic Model for Temporal Authorization Delegation with Negation.
ISC 2003: 310-324 |
| 48 | EE | Yan Zhang,
Yun Bai:
The Characterization on the Uniqueness of Answer Set for Prioritized Logic Programs.
ISMIS 2003: 349-356 |
| 47 | EE | 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 | EE | 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 | EE | Yan Zhang,
Bo Xu,
Chengqing Zong:
Chinese Syntactic Parsing Based on Extended GLR Parsing Algorithm with PCFG*.
COLING 2002 |
| 41 | EE | Dharmesh Parikh,
Kevin Skadron,
Yan Zhang,
Marco Barcella,
Mircea R. Stan:
Power Issues Related to Branch Prediction.
HPCA 2002: 233- |
| 40 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Yan Zhang,
Norman Y. Foo:
Representing Actions over Dynamic Domains.
PRICAI 2002: 60-69 |
| 32 | EE | Yan Zhang:
Two results for proiritized logic programming
CoRR cs.AI/0203007: (2002) |
| 31 | EE | Yan Zhang:
Handling Defeasibilities in Action Domains
CoRR cs.AI/0206003: (2002) |
| 2001 |
|---|
| 30 | EE | Yan Zhang,
Vijay Varadharajan:
A Logic for Modeling the Dynamics of Beliefs in Cryptographic Protocols.
ACSC 2001: 215-222 |
| 29 | EE | Yan Zhang:
The Complexity of Logic Program Updates.
Australian Joint Conference on Artificial Intelligence 2001: 631-642 |
| 28 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 |
