Pengyun Wang

Center on Aging Psychology, Key Laboratory of Mental Health, Institute of Psychology, Chinese Academy of Sciences, Beijing, China,Graduate School, Chinese Academy of Sciences, Beijing, China

new effect;aMCI patient;memory impairment feature;verbal serial list;normal aging;normal older adult;normal proactive;normal retention;normal serial position effect;amnestic mild cognitive impairment

Baoxi Wang

Center on Aging Psychology, Key Laboratory of Mental Health, Institute of Psychology, Chinese Academy of Sciences, Beijing, China,Graduate School, Chinese Academy of Sciences, Beijing, China

new effect;high-confidence Know;low-confidence Know;medium-confidence Know;familiarity memory;recognition memory test;electrophysiological index;emotional picture;medium confidence;negative picture

Zhaoming Zhang

Center for Earth Observation and Digital Earth, Chinese Academy of Sciences, Beijing, China,Institute of Remote Sensing Applications, Chinese Academy of Sciences, Beijing, China,Graduate School of ...

atmospheric correction;atmospheric correction algorithmAtmospheric correction;good atmospheric correction result;improved DOS atmospheric correction;practical atmospheric correction algorithm;total atmospheric water vapour;conventional DOS technique;improved DOS model;practical DOS;MODIS imagery

Haifeng Wang

Toshiba (China) Research and Development Center, Beijing, China;Toshiba (China) Research and Development Center, Dong Cheng District, Beijing, China;Toshiba (China) Research and Development Center, Beijing, China 100738;Toshiba (China) Research & Development Center, Beijing, China;Toshiba (China) R&D Center, Beijing, China;Toshiba (china) research and development center, no. 1, east chang an ave., dongcheng district, beijing 100738, chinawanghaifeng@rdc.toshiba.com.cn;Toshiba (China) Reseach and Development Center, Beijing, China;Research and Development Center, Beijing, China;Toshiba (China) Research and Development Center;Baidu.com Inc., Beijing, China;Baidu Inc.;Baidu Inc., Beijing, China;Baidu, inc., baidu campus, no. 10, shangdi 10th street, haidian district, beijing, 100085, china email: wanghaifeng@baidu.com;Baidu

experimental result;word alignment;translation quality;bilingual corpus;L p;paraphrase pattern;statistical machine translation;log-linear model;language pair;pivot language approach

Wuqiong Pan

State Key Laboratory of Information Security, Institute of Information Engineering, Chinese Academy of Sciences, Beijing, China, Department of Computer Science, Virginia Commonwealth University, R ...;State Key Laboratory of Information Security, Graduate University of Chinese Academy of Sciences, Beijing, China

innovative hypervisor design;virtual machine;big hypervisor;splitting hypervisor;complex algorithm;cryptographic algorithm;modular algorithm;new algorithm;secure system design;TCB size

Hui Kong

Dept. of Computer Science&Technology, Tsinghua University, Beijing, China,School of Software, Tsinghua University, Beijing, China,Tsinghua National Laboratory for Information Science and Techn ...

safety verification;Exponential Condition;geometric algorithm;Exponential-Condition-Based barrier certificate generation;barrier certificate;conservative barrier certificate;critical safety property;hybrid systemsA barrier certificate;new barrier certificate condition;formal method

Yi-Dong Shen

Chongqing Univ., Chongqing, People's Republic of China;Chinese Academy of Sciences, Beijing, China;Chinese academy of sciences (email: ydshen@ios.ac.cn);State key laboratory of computer science, institute of software, chinese academy of sciences, beijing 100190, china (email: ydshen@ios.ac.cn);State key laboratory of computer science institute of software, chinese academy of sciences, china;State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China,Graduate University of Chinese Academy of Sciences, China,University of Chinese Academy ...

logic program;general logic program;description logic program;general logic;normal DL logic program;experimental result;constraint atom;answer set;description logic programsDescription Logic;function-free logic program

Ruqian Lu

Academia Sinica, Beijing, People's Republic of China;Academy of Mathematics and Systems Sciences, Institute of Computing Technology, and Fudan University;Key Lab of Management, Decision and Information Systems, Academy of Mathematics and Systems Science, Chinese Academy of Sciences, Beijing, China and Beijing Key Laboratory of Multimedia and Intell ...;Institute of Computing Technology, CAS Key Lab of IIP, China,Academy of Mathematics and Systems Science, CAS Key Lab of MADIS, China

requirements specification;shared requirements statement;automata theory;unsharp quantum logic;requirements statement;software requirements specification;sharp quantum logic;inconsistent requirements collection;inconsistent requirements specification;prioritized requirements specification

Lei Zhang

Department of Computing, The Hong Kong Polytechnic University, Hung Hum, Kowloon, Hong Kong;Microsoft Research Asia, Beijing, China;Institute of Computing Technology, The Chinese Academy of Sciences, Beijing 100080, P.R. China;FMRL, Tongji University, 71 Chifeng Road, Shanghai 200092, China and EMRL, Xi'an Jiaotong University, Xi'an 710049, China;Research Institute of Robotics, Shanghai Jiao Tong University, Shanghai, 200030, China. email: zhanglei@sjtu.edu.cn;State University of New York at Stony Brook;Tsinghua University, China;IBM China Research Lab, Beijing, China;Peking University, China;Rensselaer Polytechnic Institute, Troy, NY;IBM;Laboratory for Internet Software Technologies, Institute of Software, The Chinese Academy of Sciences, Beijing 100080, China and Graduate University of Chinese Academy of Sciences, Beijing 100039, ...;Shandong University, China;Microsoft Research, Asia, Beijing, China;Department of Mathematics, Penn State University, Centre County, USA 16802;Institute of Command Automation, PLA University of Science and Technology, Nanjing 210007, China and Institute of Electronic Equipment System Engineering Corporation, Beijing 100141, China;College of Mathematics and Computer Science, Nanjing Normal University, No. 122, Ninghai Road, Nanjing, Jiangsu 210097, China and Department of Computer Engineering and Mathematics, Universitat Ro ...;University of Illinois at Chicago, Chicago, IL, USA;Beijing Key Laboratory of Intelligent Telecommunications Software and Multimedia, Beijing University of Posts and Telecommunications, Beijing 100876, China;School of Computer Science, Research Centre for Space Science & Technology and The State Key Laboratory of Geological Processes and Mineral Resources, China University of Geosciences, Wuhan, C ...;Universitat Rovira i Virgili, Department of Computer Engineering and Mathematics, UNESCO Chair in Data Privacy, Av. Paısos Catalans 26, E43007 Tarragona, Catalonia, Spain and Nanjing Normal ...;Department of Mathematics, University of California, Irvine, CA 92697, USA;University of Science and Technology of China;UtopiaCompression Corporation, Los Angeles, CA;IBM Research Labs, Shanghai, China;Institute AIFB, Karlsruhe Institute of Technology, Germany;HewlettPackard Laboratories, Palo Alto, CA, USA;School of Electric Information Engineering, Jiangsu University, Xuefu road, Zhenjiang 212013, Jiangsu Province, PR China;Software Engineering Institute, East China Normal University, Shanghai, China;The College of Computer Science & Technology, Civil Aviation University of China, 300300 Tianjin, China;Institute of Computer Applications, China Jiliang University, Hangzhou, China;Microsoft, Beijing, China

experimental result;proposed method;image annotation;image retrieval;image segmentation;Web image;face image;FKP image;natural image;content-based image retrieval

Xiaolong Wu

Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China,Graduate University of Chinese Academy of Sciences, Beijing, China

virtual data plane;packet processing;data plane;hardware data plane;VDP instance;scalable virtual hardware data;virtual hardware data plane;customized packet processing;packet acquisition overhead;multiple VDP