Главная > Документ


ISTP 2000

显示 1 条,共 12 条

作者: Le, S; Youbing, J; Du, L; Wang, SF

编者: Schutze, H; Su, KY

标题: Word alignment of English-Chinese bilingual corpus based on chunks

来源出版物: PROCEEDINGS OF THE 2000 JOINT SIGDAT CONFERENCE ON EMPIRICAL METHODS IN NATURAL LANGUAGE PROCESSING AND VERY LARGE CORPORA: 110-116 2000

语言: English

文献类型: Proceedings Paper

会议标题: Joint SIGDAT Conference on Empirical Methods in Natural Language Processing and Very Large Corpora held in Conjunction with the 38th Annual Meeting of the Association-for-Computational-Linguistics

会议日期: OCT 07-08, 2000

会议地点: Hong Kong, PEOPLES R CHINA

会议赞助商: Behavior Design Corp.; GroupFire Inc.; Intel China Res Ctr.; LEXIS-NEXIS.

会议主办方: Hong Kong Univ Sci & Technol

作者关键词: word alignment; chunk alignment; bilingual corpus; lexicon extraction

摘要: In this paper, a method for the word alignment of English-Chinese corpus based on chunks is proposed. The chunks of English sentences are identified firstly. Then the chunk boundaries of Chinese sentences are predicted by the translations of English chunks and heuristic information. The ambiguities of Chinese chunk boundaries are resolved by the coterminous words in English chunks. With the chunk aligned bilingual corpus, a translation relation probability is proposed to align words. Finally, we evaluate our system by real corpus and present the experiment results.

地址: Chinese Acad Sci, Inst Software, Chinese Informat Proc Ctr, Beijing 100080, Peoples R China

通讯作者地址: Le, S, Chinese Acad Sci, Inst Software, Chinese Informat Proc Ctr, Beijing 100080, Peoples R China.

引用的参考文献数: 14

被引频次: 2

出版商: ASSOCIATION COMPUTATIONAL LINGUISTICS

出版商地址: PO BOX 6090, SOMERSET, NJ 08875 USA

来源文献页码计数: 7

学科类别: Computer Science, Artificial Intelligence; Computer Science, Interdisciplinary Applications; Linguistics

ISI 文献传递号: BAP00

--------------------------------------------------------------------------------

显示 2 条,共 12 条

作者: Zhang, YB; Sun, L; Du, L; Sun, Y

编者: Schutze, H; Su, KY

标题: Query translation in Chinese-English cross-language information retrieval

来源出版物: PROCEEDINGS OF THE 2000 JOINT SIGDAT CONFERENCE ON EMPIRICAL METHODS IN NATURAL LANGUAGE PROCESSING AND VERY LARGE CORPORA: 104-109 2000

语言: English

文献类型: Proceedings Paper

会议标题: Joint SIGDAT Conference on Empirical Methods in Natural Language Processing and Very Large Corpora held in Conjunction with the 38th Annual Meeting of the Association-for-Computational-Linguistics

会议日期: OCT 07-08, 2000

会议地点: Hong Kong, PEOPLES R CHINA

会议赞助商: Behavior Design Corp.; GroupFire Inc.; Intel China Res Ctr.; LEXIS-NEXIS.

会议主办方: Hong Kong Univ Sci & Technol

摘要: This paper proposed a new query translation method based on the mutual information matrices of terms in the Chinese and English corpora. Instead of looking up a bilingual phrase dictionary, the compositional phrase (the translation of phrase can be derived from the translation of its components) in the query can be indirectly translated via a general-purpose Chinese-English dictionary look-up procedure. A novel selection method for translations of query terms is also presented in detail. Our query translation method ultimately constructs an English query in which each query term has a weight. The evaluation results show that the retrieval performance achieved by our query translation method is about 73% of monolingual information retrieval and is about 28% higher than that of simple word-by-word translation way.

地址: Chinese Acad Sci, Inst Software, Chinese Informat Proc Ctr, Beijing 100080, Peoples R China

通讯作者地址: Zhang, YB, Chinese Acad Sci, Inst Software, Chinese Informat Proc Ctr, POB 8718, Beijing 100080, Peoples R China.

引用的参考文献数: 12

被引频次: 0

出版商: ASSOCIATION COMPUTATIONAL LINGUISTICS

出版商地址: PO BOX 6090, SOMERSET, NJ 08875 USA

来源文献页码计数: 6

学科类别: Computer Science, Artificial Intelligence; Computer Science, Interdisciplinary Applications; Linguistics

ISI 文献传递号: BAP00

--------------------------------------------------------------------------------

显示 3 条,共 12 条

作者: Zheng, X; Wu, EH

编者: Wang, PP

标题: An approach of novel view generation from images with depth

来源出版物: PROCEEDINGS OF THE FIFTH JOINT CONFERENCE ON INFORMATION SCIENCES, VOLS 1 AND 2: A62-A65 2000

语言: English

文献类型: Proceedings Paper

会议标题: 5th Joint Conference on Information Sciences (JCIS 2000)

会议日期: FEB 27-MAR 03, 2000

会议地点: ATLANTIC CITY, NJ

会议赞助商: Assoc Intelligent Machinery.; Machine Intelligent & Fussy Log Lab.; Elsevier Publishing Co, Inc.; Informat Sci Journal.; USA Res Off.

作者关键词: image-based rendering; 3D image warping; sprites; image with depth

摘要: In this paper, a backward mapping algorithm for novel view rendering is proposed and implemented based on the sprites with depth. By the algorithm, a novel view image could be generated from multiple reference images, and discontinuous space surfaces are allowed in the reference frames. The usual composite algorithms take much computation in warping all the reference images to the output image. In our three-step transformation process, only one primary reference frame is employed for warping the depth value during the forward mapping step. Under the observation that, the shape of space surfaces often changes smoothly, we propose a heuristic technique to fill the holes with proper depth value, which will be used to find correct color from another reference image during backward mapping step. By using the true depth value in our backward mapping algorithm, more accurate image may be produced.

地址: Chinese Acad Sci, Inst Software, Comp Sci Lab, Beijing, Peoples R China

通讯作者地址: Zheng, X, Chinese Acad Sci, Inst Software, Comp Sci Lab, Beijing, Peoples R China.

引用的参考文献数: 7

被引频次: 0

出版商: ASSOC INTELLIGENT MACHINERY

出版商地址: PO BOX 90291, DURHAM, NC 27708-0291 USA

ISBN: 0-9643456-9-2

来源文献页码计数: 4

学科类别: Computer Science, Artificial Intelligence; Engineering, Electrical & Electronic

ISI 文献传递号: BV66Q

--------------------------------------------------------------------------------

显示 4 条,共 12 条

作者: Guan, ZW; Li, Y; Wang, HG; Dai, GZ

编者: Thomas, P; Gellersen, HW

标题: A comparison of free interaction modes for mobile layout system

来源出版物: HANDHELD AND UBIQUITOUS COMPUTING, PROCEEDINGS, 1927: 63-71 2000

丛书标题: LECTURE NOTES IN COMPUTER SCIENCE

语言: English

文献类型: Proceedings Paper

会议标题: 2nd International Symposium on Handheld and Ubiquitous Computing (HUC 2000)

会议日期: SEP 25-27, 2000

会议地点: BRISTOL, ENGLAND

会议赞助商: HP Labs.; Nokia.; BT.; Microsoft.; Appliance Studio Ltd.; Engn & Phys Sci Res Council.

KeyWords Plus: SPEECH

摘要: The interaction mode in a mobile layout system was studied. An evaluation experiment was designed and conducted to compare five interaction modes: single pen-based, pen + voice, pen + keyboard, mouse + voice, mouse + keyboard. Subjects were instructed to fulfill the basic tasks of a layout plan design system, such as locating, shaping the property of, and modifying the coordinate setting of an object. In plan setting, modification time, accuracy rate and subjective preferences a pen-based system proved the best, pen + voice followed. This experiment confirmed that different availability of interaction modes resulted in different interaction efficiency in the mobile layout environment. The experiment also provided information on the possible efficient combination of interaction modes. This paper gives statistical support to indicate that use of pen is preferable to voice in setting and modification procedures in mobile technology.

地址: Chinese Acad Sci, Inst Software, Intelligent Engn Lab, Beijing 100080, Peoples R China

通讯作者地址: Guan, ZW, Chinese Acad Sci, Inst Software, Intelligent Engn Lab, POB 8718, Beijing 100080, Peoples R China.

电子邮箱地址: gzw@imd.cims.edu.cn

引用的参考文献数: 11

被引频次: 0

出版商: SPRINGER-VERLAG BERLIN

出版商地址: HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY

ISSN: 0302-9743

ISBN: 3-540-41093-7

29 字符的来源出版物名称缩写: LECT NOTE COMPUT SCI

来源文献页码计数: 9

学科类别: Computer Science, Theory & Methods

ISI 文献传递号: BT81N

--------------------------------------------------------------------------------

显示 5 条,共 12 条

作者: Guan, ZW; Li, Y; Chen, YD; Dai, GZ

编者: Tan, T; Shi, YC; Gao, W

标题: Heuristic walkthroughs evaluation of pen-based Chinese word edit system (PCWES) usability

来源出版物: ADVANCES IN MULTIMODAL INTERFACES - ICMI 2000, PROCEEDINGS, 1948: 488-495 2000

丛书标题: LECTURE NOTES IN COMPUTER SCIENCE

语言: English

文献类型: Proceedings Paper

会议标题: 3rd International Conference on Multimodal Interfaces (ICMI 2000)

会议日期: OCT 14-16, 2000

会议地点: BEIJING, PEOPLES R CHINA

会议赞助商: Chinese Natl 863 306 Steering Comm.; Nat Sci Fdn China.; CAS Inst Automat, Natl Lab Pattern Recognit.; China Comp Federat.; Beijing Univ Aeronaut & Astronaut.; Tsinghua Univ.; IEEE, Beijing Sect.; Assoc Comp Machinery.

KeyWords Plus: INTERFACES

摘要: An evaluation experiment was conducted to compare four interface styles: Hanwang Fixed Window, Translucent Mobile Single Window, Translucent Mobile Double Window, and No Window. Subjects tested the four styles on a pen based word edit system in free-form mode. The result shows that traditional interface style of the Hanwang Fix Window didn't satisfy the requirement of the nature interaction of the end user. And the TMDW mode are very suitable for user to perform the word processing task, in terms of the task performing time and mean accuracy rate. And the NW is the most nature and promising style, in terms of the subjective preference and the error rate of the performing time and accuracy rate of the experimental data. The experiment also shows that the moving window would influent the accuracy rate of the recognition. This experiment confirmed that a proper employment of interface style could improve the interactive efficiency of word editing systems. Also we give out some useful interface hints to improve the performance of the interface. Our tests for the first time give statistical support to the view that free pen_based interface is meaningful in the nature pen and gesture input of the word edit system.

地址: Chinese Acad Sci, Inst Software, Intelligent Engn Lab, Beijing 100080, Peoples R China

通讯作者地址: Guan, ZW, Chinese Acad Sci, Inst Software, Intelligent Engn Lab, POB 8718, Beijing 100080, Peoples R China.

电子邮箱地址: gzw@imd.cims.edu.cn

引用的参考文献数: 10

被引频次: 0

出版商: SPRINGER-VERLAG BERLIN

出版商地址: HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY

ISSN: 0302-9743

ISBN: 3-540-41180-1

29 字符的来源出版物名称缩写: LECT NOTE COMPUT SCI

来源文献页码计数: 8

学科类别: Computer Science, Theory & Methods

ISI 文献传递号: BT81T

--------------------------------------------------------------------------------

显示 6 条,共 12 条

作者: Li, Y; Guan, ZW; Chen, YD; Dai, GZ

编者: Tan, T; Shi, YC; Gao, W

标题: Penbuilder: Platform for the development of pen-based user interface

来源出版物: ADVANCES IN MULTIMODAL INTERFACES - ICMI 2000, PROCEEDINGS, 1948: 534-541 2000

丛书标题: LECTURE NOTES IN COMPUTER SCIENCE

语言: English

文献类型: Proceedings Paper

会议标题: 3rd International Conference on Multimodal Interfaces (ICMI 2000)

会议日期: OCT 14-16, 2000

会议地点: BEIJING, PEOPLES R CHINA

会议赞助商: Chinese Natl 863 306 Steering Comm.; Nat Sci Fdn China.; CAS Inst Automat, Natl Lab Pattern Recognit.; China Comp Federat.; Beijing Univ Aeronaut & Astronaut.; Tsinghua Univ.; IEEE, Beijing Sect.; Assoc Comp Machinery.

摘要: Pen-based user interfaces is widely used in mobile computing environment, which provides natural, efficient interaction. It has substantial differences from any previous interface and it is difficult to be implemented. A well-designed platform will improve the development of pen-based user interface. In this paper, the architecture of Pen-Book-Page-Paper is presented, which is extended from the metaphor of Pen-Paper. Penbuilder is a development platform based on this architecture. Pen-based user interface can be constructed from three layers of Penbuilder: modal-primitive layer, task-primitive layer and task layer. Each layer provides different extent supports for flexibility and reusability. The components of the platform are discussed in detail and some properties of the platform are argued. Penbuilder is also compliant for the development of distributed user interface. In the section of discussion, we analyze the platform through task tree. The platform provides full supports for extensibility and new interactive devices can be easily added.

地址: Chinese Acad Sci, Inst Software, Intelligent Engn Lab, Beijing 100080, Peoples R China

通讯作者地址: Li, Y, Chinese Acad Sci, Inst Software, Intelligent Engn Lab, POB 8718, Beijing 100080, Peoples R China.

引用的参考文献数: 6

被引频次: 0

出版商: SPRINGER-VERLAG BERLIN

出版商地址: HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY

ISSN: 0302-9743

ISBN: 3-540-41180-1

29 字符的来源出版物名称缩写: LECT NOTE COMPUT SCI

来源文献页码计数: 8

学科类别: Computer Science, Theory & Methods

ISI 文献传递号: BT81T

--------------------------------------------------------------------------------

显示 7 条,共 12 条

作者: Wang, MS; Qi, SH; Feng, DG

编者: Qing, S; Eloff, JHP

标题: A simple algorithm for computing several sequences synthesis

来源出版物: INFORMATION SECURITY FOR GLOBAL INFORMATION INFRASTRUCTURES, 47: 211-220 2000

丛书标题: INTERNATIONAL FEDERATION FOR INFORMATION PROCESSING

语言: English

文献类型: Proceedings Paper

会议标题: 16th International-Federation-for-Information-Processing World Computer Congress (IFIP 2000)/Annual Conference of TC11 (SEC 2000)

会议日期: AUG 21-25, 2000

会议地点: BEIJING, PEOPLES R CHINA

会议赞助商: Int Federat Informat Proc, TC-11.; China Comp Federat.; Chinese Acad Sci, Engn Res Ctr Informat Secur Technol.

作者关键词: module Grobner bases; several sequences synthesis; Buchberger algoruthm

摘要: In this paper, we use module Grobner bases to Compute several sequences synthesis problem. It is a natual generalization of Fitzpatrick's algorithm.

地址: Chinese Acad Sci, Inst Software, Engn Res Ctr Informat Secur Technol, Beijing 100080, Peoples R China

通讯作者地址: Wang, MS, Chinese Acad Sci, Inst Software, Engn Res Ctr Informat Secur Technol, Beijing 100080, Peoples R China.

引用的参考文献数: 10

被引频次: 0

出版商: KLUWER ACADEMIC PUBLISHERS

出版商地址: 101 PHILIP DRIVE, ASSINIPPI PARK, NORWELL, MA 02061 USA

ISSN: 1571-5736

ISBN: 0-7923-7914-4

29 字符的来源出版物名称缩写: INT FED INFO PROC

来源文献页码计数: 4

学科类别: Computer Science, Information Systems; Computer Science, Theory & Methods

ISI 文献传递号: BR59P

--------------------------------------------------------------------------------

显示 8 条,共 12 条

作者: Zhan, NJ

书籍团体作者: IEEE COMPUTER SOCIETY; IEEE COMPUTER SOCIETY

标题: Another formal proof for deadline driven scheduler

来源出版物: SEVENTH INTERNATIONAL CONFERENCE ON REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS, PROCEEDINGS: 481-485 2000

语言: English

文献类型: Proceedings Paper

会议标题: 7th International Conference on Real Time Computing Systems and Applications

会议日期: DEC 12-14, 2000

会议地点: CHEJU ISL, SOUTH KOREA

会议赞助商: Adv Informat Technol Ctr.; Korea Informat Sci Soc.; Informat Processing Soc Japan.; Informat Technol.; IEEE Comp Soc Tech Comm Real Time Syst.; Electr & Telecommun Res Inst.

作者关键词: duration calculus; deadline driven scheduler; correctness

摘要: This paper presents another formal proof for the correctness of the Deadline Driven Scheduler (DDS). This proof is different from Zheng and Zhou's [1], although both are given in tel-ms of Duration Calculus (DC far short) which provides abstraction for random preemption of processor: In the proof of [1], the induction rules of Duration Calculus are heavily applied, brit the intuition of the induction propositions is not obvious. However; this proof is to follow and to formalise the original one developed by Liu and Layland in [2] which relies on many! intuitive facts. Therefore this proof is more intuitive, while it is still formal.

地址: UN Univ, Int Inst Software Technol, Comp Sci Lab, Inst Software,Chinese Acad Sci, Beijing 100080, Peoples R China

通讯作者地址: Zhan, NJ, UN Univ, Int Inst Software Technol, Comp Sci Lab, Inst Software,Chinese Acad Sci, Beijing 100080, Peoples R China.

引用的参考文献数: 8

被引频次: 0

出版商: IEEE COMPUTER SOC

出版商地址: 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA

ISBN: 0-7695-0930-4

来源文献页码计数: 5

学科类别: Computer Science, Information Systems; Computer Science, Theory & Methods; Engineering, Electrical & Electronic; Telecommunications

ISI 文献传递号: BR28Q

--------------------------------------------------------------------------------

显示 9 条,共 12 条

作者: Zhang, HY; Sun, JC

编者: Chen, Z; Ewing, RE; Shi, ZC

标题: Domain decomposition preconditioners for non-selfconjugate second order elliptic problems

来源出版物: NUMERICAL TREATMENT OF MULTIPHASE FLOWS IN POROUS MEDIA, 552: 409-418 2000

丛书标题: LECTURE NOTES IN PHYSICS

语言: English

文献类型: Proceedings Paper

会议标题: International Workshop on Fluid Flow and Transport in Porous Media

会议日期: AUG 02-06, 1999

会议地点: BEIJING, PEOPLES R CHINA

会议赞助商: Natl Nat Sci Fdn China.; Beijing Inst Appl Phys & Computat Math.; Chinese State Key Basic Res Project.; USA Off Res Far E.; USN Off Res Int Field Off Asia.; USAF Asian Off Aerosp Res & Dev.

作者关键词: non-selfconjugate; elliptic equation; domain decomposition; Schur complement; preconditioner

摘要: A non-symmetric interface Schur complement arises from non-selfconjugate second order elliptic problems with domain decomposition methods. The usual numerical methods for solving it axe GMRES, ORTHOMIN, and BICGSTAB, but they take a large amount of computer time and memory. The authors find in this paper that the nonsymmetric Schur complement can in fact be changed into a symmetric one by scaling. Then an efficient preconditioner can be provided by which the preconditioned system can be solved iteratively by a modified PCG method. When the problem is imposed on a rectangular region, the condition number is estimated and is nearly one. Numerical experiments axe also presented. Non-selfconjugate problems arise in mathematical modeling and numerical simulation of fluid flows and transport in porous media.

地址: Chinese Acad Sci, Inst Software, Beijing, Peoples R China

通讯作者地址: Zhang, HY, Chinese Acad Sci, Inst Software, Beijing, Peoples R China.

引用的参考文献数: 6

被引频次: 0

出版商: SPRINGER-VERLAG BERLIN

出版商地址: HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY

ISSN: 0075-8450

ISBN: 3-540-67566-3

29 字符的来源出版物名称缩写: LECT NOTES PHYS

来源文献页码计数: 10

学科类别: Physics, Multidisciplinary

ISI 文献传递号: BS67F

--------------------------------------------------------------------------------

显示 10 条,共 12 条

作者: Lin, HM; Yi, W

编者: Tiuryn, J

标题: A proof system for timed automata

来源出版物: FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, 1784: 208-222 2000

丛书标题: LECTURE NOTES IN COMPUTER SCIENCE

语言: English

文献类型: Proceedings Paper

会议标题: 3rd International Conference on Foundations of Software Science and Computation Structures (FOSSACS 2000)

会议日期: MAR 25-APR 02, 2000

会议地点: BERLIN, GERMANY

摘要: A proof system for timed automata is presented, based on a CCS-style language for describing timed automata. It consists of the standard monoid laws for bisimulation and a set of inference rules. The judgments of the proof system are conditional equations of the form phi > t = u where phi is a clock constraint and t, u are terms denoting timed automata. It is proved that the proof system is complete for timed bisimulation over the recursion-free subset of the language. The completeness proof relies on the notion of symbolic timed bisimulation. The axiomatisation is also extended to handle an important variation of timed automata where each node is associated with an invariant constraint.

地址: Chinese Acad Sci, Inst Software, Comp Sci Lab, Beijing 100864, Peoples R China; Uppsala Univ, Dept Comp Sci, Uppsala, Sweden

通讯作者地址: Lin, HM, Chinese Acad Sci, Inst Software, Comp Sci Lab, Beijing 100864, Peoples R China.

引用的参考文献数: 12

被引频次: 2

出版商: SPRINGER-VERLAG BERLIN

出版商地址: HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY

ISSN: 0302-9743

ISBN: 3-540-67257-5

29 字符的来源出版物名称缩写: LECT NOTE COMPUT SCI

来源文献页码计数: 15

学科类别: Computer Science, Theory & Methods

ISI 文献传递号: BT06Y

--------------------------------------------------------------------------------

显示 11 条,共 12 条

作者: Lin, HM; Yi, W

编者: Kapoor, S; Prasad, S

标题: A complete axiomatisation for timed automata

来源出版物: FST TCS 2000: FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE, PROCEEDINGS, 1974: 277-289 2000

丛书标题: LECTURE NOTES IN COMPUTER SCIENCE

语言: English

文献类型: Proceedings Paper

会议标题: 20th Conference on Foundations of Software Technology and Theoretical Computer Science

会议日期: DEC 13-15, 2000

会议地点: NEW DELHI, INDIA

会议赞助商: IBM India Res Lab.; TCS (TRDDC).; Tata Infotech.; Silicon Automat Syst.; Cadence Design Syst.; IIT Delhi.

KeyWords Plus: REGULAR BEHAVIORS

摘要: In this paper we present a complete proof system for timed automata. It extends our previous axiomatisation of timed bisimulation for the class of loop-free timed automata with unique fixpoint induction. To our knowledge, this is the first algebraic theory for the whole class of timed automata with a completeness result, thus fills a gap in the theory of timed automata. The proof of the completeness result relies on the notion of symbolic timed bisimulation, adapted from the work on value-passing processes.

地址: Chinese Acad Sci, Comp Sci Lab, Inst Software, Beijing 100864, Peoples R China; Uppsala Univ, Dept Comp Syst, Uppsala, Sweden

通讯作者地址: Lin, HM, Chinese Acad Sci, Comp Sci Lab, Inst Software, Beijing 100864, Peoples R China.

引用的参考文献数: 16

被引频次: 0

出版商: SPRINGER-VERLAG BERLIN

出版商地址: HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY

ISSN: 0302-9743

ISBN: 3-540-41413-4

29 字符的来源出版物名称缩写: LECT NOTE COMPUT SCI

来源文献页码计数: 13

学科类别: Computer Science, Theory & Methods

ISI 文献传递号: BS71L

--------------------------------------------------------------------------------

显示 12 条,共 12 条

作者: Zhang, J

编者: Tse, TH; Chen, TY

标题: Specification analysis and test data generation by solving Boolean combinations of numeric constraints

来源出版物: FIRST ASIA-PACIFIC CONFERENCE ON QUALITY SOFTWARE, PROCEEDINGS: 267-274 2000

语言: English

文献类型: Proceedings Paper

会议标题: 1st Asia-Pacific Conference on Quality Software

会议日期: OCT 30-31, 2000

会议地点: HONG KONG, PEOPLES R CHINA

会议赞助商: Univ Hong Kong, Software Engn Grp.; Vocat Training Council, Software Technol Ctr.; IEEE, Hong kong Sect, Comp Chapter.; British Comp Soc, Hong Kong Sect.; Software Dioxide QAI.

摘要: In the analysis of state-based requirement specifications and in software test data generation, one often: has to determine the satisfiability of Boolean combinations of numeric constraints. Theoretically this problem is undecidable, and practically many problem instances are very difficult. In this paper, an extension to a Boolean constraint solver is described. The new tool can deal with variables of other types (including the enumerated type, integers and reals). It combines Boolean logic reasoning with linear programming and bound propagation. Non-linear constraints are allowed, but the solving method is incomplete. Experimental results show that the tool can be quite rueful in testing specifications as well as procedural code.

地址: Chinese Acad Sci, Inst Software, Comp Sci Lab, Beijing 100080, Peoples R China

通讯作者地址: Zhang, J, Chinese Acad Sci, Inst Software, Comp Sci Lab, Beijing 100080, Peoples R China.

引用的参考文献数: 22

被引频次: 0

出版商: IEEE COMPUTER SOC

出版商地址: 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA

ISBN: 0-7695-0825-1

来源文献页码计数: 8

学科类别: Computer Science, Software Engineering

ISI 文献传递号: BQ97T

ISTP 2001

显示 1 条,共 35 条

作者: Wang, Q; Lai, XF

书籍团体作者: IEEE COMPUTER SOCIETY; IEEE COMPUTER SOCIETY; IEEE COMPUTER SOCIETY

标题: Requirements management for the incremental development model

来源出版物: SECOND ASIA-PACIFIC CONFERENCE ON QUALITY SOFTWARE, PROCEEDINGS: 295-301 2001

语言: English

文献类型: Proceedings Paper

会议标题: 2nd Asia-Pacific Conference on Quality Software

会议日期: DEC 10-11, 2001

会议地点: HONG KONG, PEOPLES R CHINA

会议赞助商: City Univ Hong Kong, Dept Comp Sci.; Ctr Software Engn, Sch Informat Technol.; Swinburn Univ Technol.; Informat Technol Serv Dept, Govt Hong Kong.; British Comp Soc, Hong Kong Sect.; Hong Kong Comp Soc.; Hong Kong Inst Engineers Informat Technol Div.; IEEE Hong Kong Sect Comp Soc Chapter.

摘要: Requirements management is a crucial process in software engineering. Nowadays, information technology was applied in many fields of society. The change of the requirements becomes an inevitable fact. But the good quality means the conformance to the customer's requirements. Good and suitable software engineering model and efficient requirements management is required. This paper discusses the method of requirements management for the increment development model, the goal of the management, the structure of data collect, and the metrics of the capability measurement.

地址: Chinese Acad Sci, Inst Software, Beijing 100864, Peoples R China

通讯作者地址: Wang, Q, Chinese Acad Sci, Inst Software, Beijing 100864, Peoples R China.

引用的参考文献数: 8

被引频次: 2

出版商: IEEE COMPUTER SOC

出版商地址: 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA

ISBN: 0-7695-1287-9

来源文献页码计数: 7

学科类别: Computer Science, Software Engineering; Engineering, Electrical & Electronic

ISI 文献传递号: BT52P

--------------------------------------------------------------------------------

显示 2 条,共 35 条

作者: Lin, HM

书籍团体作者: IEEE COMPUTER SOCIETY; IEEE COMPUTER SOCIETY; IEEE COMPUTER SOCIETY

标题: Model checking value-passing processes

来源出版物: APSEC 2001: EIGHTH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS: 3-10 2001

语言: English

文献类型: Proceedings Paper

会议标题: 8th Asia-Pacific Software Engineering Conference

会议日期: DEC 04-07, 2001

会议地点: MACAO, PEOPLES R CHINA

会议赞助商: Univ Macau.; Off Dev Telecomm & Informat Technol.; UN Univ, Int Inst Software Technol.; Natl Nat Sci Fdn China.; Macau Fdn.; Public Adm & Civil Serv Bur Macau SAR.; Co Telecommun Macau S A R L.; Macau SAR Govt Tourist Off.; Macau Product & Technol Transfer Ctr.; Zhuhai Sci and Technol Comm.; Macau Comp Assoc.

作者关键词: model checking; mu-calculus; value-passing processes; verification algorithms

摘要: An algorithm for model checking value-passing processes is presented. Processes are modeled as symbolic transition graphs with assignments. To specify properties for such processes a graphical predicate mu-calculus is introduced. It allows arbitrary nesting of the least and greatest fixpoints, and contains the propositional mu-calculus as a proper subset. The algorithm instantiates input variables on-the-fly and states are only generated when they are needed for the computation. To handle alternating fix-points properly, a multi-stack is employed and the controlling strategy is such that a state is evaluated without depending on the default values for more deeply nested states. The algorithm is shown correct with respect to the semantics of the predicate mu-calculus. Its complexity is also analysed.

地址: Chinese Acad Sci, Inst Software, Comp Sci Lab, Beijing 100080, Peoples R China

通讯作者地址: Lin, HM, Chinese Acad Sci, Inst Software, Comp Sci Lab, POB 8718, Beijing 100080, Peoples R China.

引用的参考文献数: 13

被引频次: 2

出版商: IEEE COMPUTER SOC

出版商地址: 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA

ISBN: 0-7695-1408-1

来源文献页码计数: 8

学科类别: Computer Science, Software Engineering; Engineering, Electrical & Electronic

ISI 文献传递号: BT55P

--------------------------------------------------------------------------------

显示 3 条,共 35 条

作者: Zhang, J

书籍团体作者: IEEE COMPUTER SOCIETY; IEEE COMPUTER SOCIETY; IEEE COMPUTER SOCIETY

标题: A path-based approach to the detection of infinite looping

来源出版物: SECOND ASIA-PACIFIC CONFERENCE ON QUALITY SOFTWARE, PROCEEDINGS: 88-94 2001

语言: English

文献类型: Proceedings Paper

会议标题: 2nd Asia-Pacific Conference on Quality Software

会议日期: DEC 10-11, 2001

会议地点: HONG KONG, PEOPLES R CHINA

会议赞助商: City Univ Hong Kong, Dept Comp Sci.; Ctr Software Engn, Sch Informat Technol.; Swinburn Univ Technol.; Informat Technol Serv Dept, Govt Hong Kong.; British Comp Soc, Hong Kong Sect.; Hong Kong Comp Soc.; Hong Kong Inst Engineers Informat Technol Div.; IEEE Hong Kong Sect Comp Soc Chapter.

摘要: Infinite looping is a common type of program error This paper studies the detection of infinite loops in imperative programs. A sufficient condition is given, which is based on program paths. For a simple loop, if we can establish the infeasibility of certain paths within the loop body, we can conclude that the loop does not terminate. Several examples are given to show the effectiveness of the approach. Its main benefits are that it is accurate and it can be supported by automated tools.

地址: Chinese Acad Sci, Inst Software, Comp Sci Lab, Beijing 100080, Peoples R China

通讯作者地址: Zhang, J, Chinese Acad Sci, Inst Software, Comp Sci Lab, Beijing 100080, Peoples R China.

引用的参考文献数: 10

被引频次: 1

出版商: IEEE COMPUTER SOC

出版商地址: 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA

ISBN: 0-7695-1287-9

来源文献页码计数: 7

学科类别: Computer Science, Software Engineering; Engineering, Electrical & Electronic

ISI 文献传递号: BT52P

--------------------------------------------------------------------------------

显示 4 条,共 35 条

作者: Li, DQ; Feng, DG

书籍团体作者: UWA - UNIV. OF WESTERN AUSTRALIA; UWA - UNIV. OF WESTERN AUSTRALIA

标题: A DCT-robust multimedia authentication scheme

来源出版物: ANZIIS 2001: PROCEEDINGS OF THE SEVENTH AUSTRALIAN AND NEW ZEALAND INTELLIGENT INFORMATION SYSTEMS CONFERENCE: 59-62 2001

语言: English

文献类型: Proceedings Paper

会议标题: 7th Australian and New Zealand Intelligent Information Systems Conference (ANZIIS 2001)

会议日期: NOV 18-21, 2001

会议地点: PERTH, AUSTRALIA

会议赞助商: IEEE.

摘要: In this paper, we analyze a fragile watermark algorithm of Lisa M. Marvel et al and show a security weakness therein. We then show that a fragile watermark could not survive DCT compression as long as the authenticator is constructed from pixel values. After that, a new algorithm is presented, which gets rid of the severe security weakness and the implementation flaw of Lisa M.Marvel et al's method.

地址: Chinese Acad Sci, State Key Lab Informat Secur, Inst Software, Beijing 100080, Peoples R China

通讯作者地址: Li, DQ, Chinese Acad Sci, State Key Lab Informat Secur, Inst Software, POB 8718, Beijing 100080, Peoples R China.

引用的参考文献数: 5

被引频次: 0

出版商: UNIV WESTERN AUSTRALIA

出版商地址: NEDLANDS, WA, AUSTRALIA

ISBN: 1-74052-061-0

来源文献页码计数: 4

学科类别: Computer Science, Artificial Intelligence; Engineering, Biomedical

ISI 文献传递号: BT72B

--------------------------------------------------------------------------------

显示 5 条,共 35 条

作者: Lin, H; Gao, Q; Ye, DX

编者: Wu, H; Vaario, J

标题: Implementation architecture for group network profile in embedded systems

来源出版物: APOC 2001: ASIA-PACIFIC OPTICAL AND WIRELESS COMMUNICATIONS: WIRELESS AND MOBILE COMMUNICATIONS, 4586: 226-235 2001

丛书标题: PROCEEDINGS OF THE SOCIETY OF PHOTO-OPTICAL INSTRUMENTATION ENGINEERS (SPIE)

语言: English

文献类型: Proceedings Paper

会议标题: Asia-Pacific Optical and Wireless Communications Conference (APOC 2001)

会议日期: NOV 12-15, 2001

会议地点: BEIJING, PEOPLES R CHINA

会议赞助商: SPIE.; China Opt & Optoelectr Manufacturers Assoc.; Minist Informat Ind.; China Inst Commun.; NEL NTT Electr Corp.; Credit Suisse First Boston Technol Grp.; China Telecom.; Huawei Technologies.; ZTE Corp.; SANY Optilayer Co Ltd.; Dateng Telecom.; Photon Technol.; O Net Commun Ltd.; China Minist Sci & Technol.; Alcatel.; Corning.; Australia Opt Soc.; Beijing Univ Posts & Telecommun.; Korea Assoc Photon Ind Dev.; Optoelectr Ind Dev Assoc.; Optoelectr Ind & Technol Dev Assoc.; Opt Soc India.; Opt Soc Japan.; Opt Soc Korea.; Photon Ind Dev Assoc.; Photon Assoc.; SPIE Asia Pacific Chapters.; SPIE Tech Grp Opt Networks.; Tsinghua Univ.

作者关键词: group network; personal area networks; embedded systems; bluetooth

摘要: Bluetooth Group Network Profile (GNP) plays a key role in Bluetooth to support an ad-hoe networking and provides the solution of communicating among the Bluetooth devices in a single Piconet. There are several challenges in implementing GNP. The paper provides the related solutions of dynamic IP address assignment, transmission of the broadcast and multicast packets, and profile security architecture. Furthermore, the implementation reduces the code size and increases the portability in the embedded environment.

地址: Chinese Acad Sci, Inst Software, Beijing 100080, Peoples R China

通讯作者地址: Lin, H, Chinese Acad Sci, Inst Software, Beijing 100080, Peoples R China.

引用的参考文献数: 5

被引频次: 0

出版商: SPIE-INT SOC OPTICAL ENGINEERING

出版商地址: 1000 20TH ST, PO BOX 10, BELLINGHAM, WA 98227-0010 USA

ISSN: 0277-786X

ISBN: 0-8194-4316-6

29 字符的来源出版物名称缩写: P SOC PHOTO-OPT INSTRUM ENG

来源文献页码计数: 10

学科类别: Computer Science, Information Systems; Engineering, Electrical & Electronic; Optics; Telecommunications

ISI 文献传递号: BT79A

--------------------------------------------------------------------------------

显示 6 条,共 35 条

作者: Luo, HB; Gao, Q

编者: Wu, H; Vaario, J

标题: The mobile synchronization solutions in Bluetooth wireless technology

来源出版物: APOC 2001: ASIA-PACIFIC OPTICAL AND WIRELESS COMMUNICATIONS: WIRELESS AND MOBILE COMMUNICATIONS, 4586: 236-244 2001

丛书标题: PROCEEDINGS OF THE SOCIETY OF PHOTO-OPTICAL INSTRUMENTATION ENGINEERS (SPIE)

语言: English

文献类型: Proceedings Paper

会议标题: Asia-Pacific Optical and Wireless Communications Conference (APOC 2001)

会议日期: NOV 12-15, 2001

会议地点: BEIJING, PEOPLES R CHINA

会议赞助商: SPIE.; China Opt & Optoelectr Manufacturers Assoc.; Minist Informat Ind.; China Inst Commun.; NEL NTT Electr Corp.; Credit Suisse First Boston Technol Grp.; China Telecom.; Huawei Technologies.; ZTE Corp.; SANY Optilayer Co Ltd.; Dateng Telecom.; Photon Technol.; O Net Commun Ltd.; China Minist Sci & Technol.; Alcatel.; Corning.; Australia Opt Soc.; Beijing Univ Posts & Telecommun.; Korea Assoc Photon Ind Dev.; Optoelectr Ind Dev Assoc.; Optoelectr Ind & Technol Dev Assoc.; Opt Soc India.; Opt Soc Japan.; Opt Soc Korea.; Photon Ind Dev Assoc.; Photon Assoc.; SPIE Asia Pacific Chapters.; SPIE Tech Grp Opt Networks.; Tsinghua Univ.

作者关键词: Bluetooth; data synchronization; synchronization engine; object store; IrMC; SyncML

摘要: Bluetooth is a new wireless communication protocol, its background and the structure of Bluetooth Profiles, as well as the concept of data synchronization are introduced first, and then Data Synchronization Algorithm and the implementing models according to Bluetooth Synchronization Specification are provided. Finally, problems of the models are analyzed, and the synchronization solution of combining SyncML protocol and Bluetooth is described.

地址: Chinese Acad Sci, Inst Software, Beijing 100081, Peoples R China

通讯作者地址: Luo, HB, Chinese Acad Sci, Inst Software, 4 S 4 St Zhong Guan Cun, Beijing 100081, Peoples R China.

引用的参考文献数: 9

被引频次: 0

出版商: SPIE-INT SOC OPTICAL ENGINEERING

出版商地址: 1000 20TH ST, PO BOX 10, BELLINGHAM, WA 98227-0010 USA

ISSN: 0277-786X

ISBN: 0-8194-4316-6

29 字符的来源出版物名称缩写: P SOC PHOTO-OPT INSTRUM ENG

来源文献页码计数: 9

学科类别: Computer Science, Information Systems; Engineering, Electrical & Electronic; Optics; Telecommunications

ISI 文献传递号: BT79A

--------------------------------------------------------------------------------

显示 7 条,共 35 条

作者: Wu, P; Gao, Q

编者: Wu, H; Vaario, J

标题: Incompleteness of Bluetooth protocol conformance test cases

来源出版物: APOC 2001: ASIA-PACIFIC OPTICAL AND WIRELESS COMMUNICATIONS: WIRELESS AND MOBILE COMMUNICATIONS, 4586: 266-273 2001

丛书标题: PROCEEDINGS OF THE SOCIETY OF PHOTO-OPTICAL INSTRUMENTATION ENGINEERS (SPIE)

语言: English

文献类型: Proceedings Paper

会议标题: Asia-Pacific Optical and Wireless Communications Conference (APOC 2001)

会议日期: NOV 12-15, 2001

会议地点: BEIJING, PEOPLES R CHINA

会议赞助商: SPIE.; China Opt & Optoelectr Manufacturers Assoc.; Minist Informat Ind.; China Inst Commun.; NEL NTT Electr Corp.; Credit Suisse First Boston Technol Grp.; China Telecom.; Huawei Technologies.; ZTE Corp.; SANY Optilayer Co Ltd.; Dateng Telecom.; Photon Technol.; O Net Commun Ltd.; China Minist Sci & Technol.; Alcatel.; Corning.; Australia Opt Soc.; Beijing Univ Posts & Telecommun.; Korea Assoc Photon Ind Dev.; Optoelectr Ind Dev Assoc.; Optoelectr Ind & Technol Dev Assoc.; Opt Soc India.; Opt Soc Japan.; Opt Soc Korea.; Photon Ind Dev Assoc.; Photon Assoc.; SPIE Asia Pacific Chapters.; SPIE Tech Grp Opt Networks.; Tsinghua Univ.

作者关键词: Bluetooth conformance testing; test case; interoperability; extended finite state machine

摘要: This paper describes a formal method to verify the completeness of conformance testing, in which not only Implementation Under Test (IUT) is formalized in SDL, but also conformance tester is described in SDL so that conformance testing can be performed in simulator provided with CASE tool. The protocol set considered is Bluetooth, an open wireless communication technology.

Our research results show that Bluetooth conformance test specification is not complete in that it has only limited coverage and many important capabilities defined in Bluetooth core specification are not tested. We also give a detail report on the missing test cases against Bluetooth core specification, and provide a guide on further test case generation in the future.

地址: Chinese Acad Sci, Inst Software, Beijing 100081, Peoples R China

通讯作者地址: Wu, P, Chinese Acad Sci, Inst Software, 4 S 4 St Zhong Guan Cun, Beijing 100081, Peoples R China.

引用的参考文献数: 4

被引频次: 0

出版商: SPIE-INT SOC OPTICAL ENGINEERING

出版商地址: 1000 20TH ST, PO BOX 10, BELLINGHAM, WA 98227-0010 USA

ISSN: 0277-786X

ISBN: 0-8194-4316-6

29 字符的来源出版物名称缩写: P SOC PHOTO-OPT INSTRUM ENG

来源文献页码计数: 8

学科类别: Computer Science, Information Systems; Engineering, Electrical & Electronic; Optics; Telecommunications

ISI 文献传递号: BT79A

--------------------------------------------------------------------------------

显示 8 条,共 35 条

作者: Xu, C; Zhang, J

编者: Wu, ZH; Zhuang, YT; He, QM; Zhang, SY; Wei, BG

标题: EFSM generation for C programs with functions

来源出版物: COMPUTER SCIENCE AND TECHNOLOGY IN NEW CENTURY: 90-94 2001

语言: English

文献类型: Proceedings Paper

会议标题: 6th International Conference for Young Computer Scientists

会议日期: OCT 23-25, 2001

会议地点: HANGZHOU, PEOPLES R CHINA

会议赞助商: China Comp Federat.; Zhejiang Univ.; W Lake Exposit.

作者关键词: EFSM; test data generation; recursive functions

摘要: Test data generation in program testing is the process of identifying a suite of test data that satisfy a selected criterion, such as statement coverage or branch coverage. Most existing methods for test data generation are limited to unit testing and may not work for programs with functions. In [1] we present an approach to automated test data generation for unit testing, which is based on extended finite state machines (EFSMs). In order to deal with programs with functions, we extend our work by improving the EFSM generation process. The new approach can eliminate functions in a C program and convert the program into a whole equivalent EFSM. Now the EFSM generator can accept C programs with functions, and its output can be accepted by the EFSM analyzer described in [1].

地址: Chinese Acad Sci, Comp Sci Lab, Inst Software, Beijing 100864, Peoples R China

通讯作者地址: Xu, C, Chinese Acad Sci, Comp Sci Lab, Inst Software, Beijing 100864, Peoples R China.

引用的参考文献数: 1

被引频次: 0

出版商: INTERNATIONAL ACADEMIC PUBLISHERS LTD

出版商地址: UNIT 1205, 12 FLOOR, SINO PLAZA, 255 GLOUCESTER ROAD, HONG KONG 00000, CAUSEWAY BAY, PEOPLES R CHINA

ISBN: 7-5062-5181-7

来源文献页码计数: 5

学科类别: Computer Science, Artificial Intelligence; Computer Science, Hardware & Architecture; Computer Science, Information Systems; Computer Science, Software Engineering; Computer Science, Theory & Methods

ISI 文献传递号: BT66S

--------------------------------------------------------------------------------

显示 9 条,共 35 条

作者: Zhang, XF; Sun, YF

编者: Wu, ZH; Zhuang, YT; He, QM; Zhang, SY; Wei, BG

标题: Implementation of audit in secure operating system based on CC

来源出版物: COMPUTER SCIENCE AND TECHNOLOGY IN NEW CENTURY: 198-201 2001

语言: English

文献类型: Proceedings Paper

会议标题: 6th International Conference for Young Computer Scientists

会议日期: OCT 23-25, 2001

会议地点: HANGZHOU, PEOPLES R CHINA

会议赞助商: China Comp Federat.; Zhejiang Univ.; W Lake Exposit.

作者关键词: secure operating system; common criteria; audit

摘要: It is very important for a secure operating system to detect potential attack and security breach. The audit subsystem of a computing system can collect many kinds of events in the system and can hence help to decide if a user ever tried to violate the security policies enforced in the system and therefor make users be accountable for their actions. Many secure operating systems implement audit subsystem in their own way. The common criteria for IT security evaluation (CC) provides the functional requirements for audit in its part 2. In this paper we suggest some methods to meet these requirements. Some of the methods have been used in our secure Linux system.

地址: Chinese Acad Sci, Inst Software, Beijing 100080, Peoples R China

通讯作者地址: Zhang, XF, Chinese Acad Sci, Inst Software, Beijing 100080, Peoples R China.

引用的参考文献数: 7

被引频次: 0

出版商: INTERNATIONAL ACADEMIC PUBLISHERS LTD

出版商地址: UNIT 1205, 12 FLOOR, SINO PLAZA, 255 GLOUCESTER ROAD, HONG KONG 00000, CAUSEWAY BAY, PEOPLES R CHINA

ISBN: 7-5062-5181-7

来源文献页码计数: 2

学科类别: Computer Science, Artificial Intelligence; Computer Science, Hardware & Architecture; Computer Science, Information Systems; Computer Science, Software Engineering; Computer Science, Theory & Methods

ISI 文献传递号: BT66S

--------------------------------------------------------------------------------



Скачать документ

Похожие документы:

  1. Aarts, J. (1990). Corpus linguistics : an appraisal. In Hammesse, J., Zampolli, A. (eds.), Computers

    Документ
    ... Mutual benefit of sentence/wordalignment and crosslingual ... Corpus Research on Language, Lancaster. Piao, S. L. (2000). A Hybrid Model ofEnglish/ChineseAlignment ... Bilingual-corpusbased approaches to translingual information retrieval. Proceedings of ...
  2. 501 of 1258 DOCUMENTS The New York Times August 5

    Документ
    ... worth $4.22 billion basedon the purchase price of ... off chunksof their ... against those aligned with his ... as a bilingualChinese/English adaptation of ''A Midsummer Night ... of it: Cajun specialties, like boudin, corn-and-crab bisque and crawfish ...
  3. British association of applied linguistics annual conference 1st – 3rd september 2011

    Документ
    ... frequency list basedon the BNC, a 100 million wordcorpusofEnglish, and analysed ... majority are bilingual speakers of both languages/varieties ofChinese and ... of formulaic sequences (chunks) in 22 classroom-taught, teenage Dutch learners ofEnglish ...
  4. The epigram cake tactful humor impetus bible of bliss & love - christian country sports science longevity holistic water wit bible cover page saint bernard ii/queen elizabeth ii/ pope benedict xvi/mother angelica/14 th daliai lama/

    Документ
    ... up of Hawaiian, Portuguese, Chinese, English, ... chunksof beef or lamb, plenty of ... of Rights Definition & The Writof Habeas Corpus ... journalist, Bilingual Human The ... of some wonderful alignmentof ... basedon meter in English usually concerns the pattern of ...
  5. Shigeru Sugiyama Chiaki Shinohara

    Документ
    ... Bilingual Sentence Alignment, Proceedings of International Symposium on ... CorpusBased Analysis of Japanese-English ... CHINESE BASE PHRASES CHUNKINGBASEDON LDCRF ... CHINESE EMOTION LEXICON BASEDONCORPUS REN-CECPS, Proc. of IEEE International Conference on ...

Другие похожие документы..