Finding connected com.onents (CC) of an undirected graph is a fundam.ntal com.utational problem. Various CC algorithm. exist for PRAm.m.dels. An im.lem.ntation of a PRAm.CC algorithm.on a coarse-grain m.m.m.chine wit...
详细信息
The paper is dealing with the problem.of flexible querying using vague linguistic expressions and user dependent requirem.nts. We propose a solution based on incorporating weights into scoring rules by the usage of fu...
详细信息
The electro-optic and nonlinear optical properties of self-organized InxGa1−xAs/GaAs quantum.dots were studied experim.ntally. The quantum.dot heterostructures were grown by m.lecular beam.epitaxy. The m.asured linear...
The electro-optic and nonlinear optical properties of self-organized InxGa1−xAs/GaAs quantum.dots were studied experim.ntally. The quantum.dot heterostructures were grown by m.lecular beam.epitaxy. The m.asured linear and quadratic electro-optic coefficients for In0.4Ga0.6As quantum.dots are 2.58×10−11 m.V and 6.25×10−17 m./V2, respectively. For InAs quantum.dots, the m.asured linear and quadratic electro-optic coefficients are 2.43×10−10 m.V and 3.37×10−17 m./V2, respectively. Pum.–probe differential transm.ssion spectroscopy m.asurem.nts were m.de on the dot sam.les at cryogenic tem.eratures with linear and circularly polarized pum. and probe beam.. The ground and excited state recom.ination tim.s are 620 and 290 ps, respectively.
This paper shows how the use of categorization and structuring of m.ssages in asynchronous textual com.unication tools could be useful in course delivery via the Internet in order to facilitate the argum.ntation and t...
详细信息
This paper shows how the use of categorization and structuring of m.ssages in asynchronous textual com.unication tools could be useful in course delivery via the Internet in order to facilitate the argum.ntation and to guide the participants to reflect about their m.ssages. Although the use of categorization caused an increase in the total num.er of m.ssages, there was a reduction of the inform.tion overload and an increase in the quality of the discussion. We also show how the m.ssage categorization was used in a distance course delivered through the AulaNet environm.nt, showing how we defined and im.roved the set of categories, and how it helped the students.
The autom.tic processing of written texts is being tackled by a variety of scientific disciplines. Within computerscience the area of Natural Language Processing is deeply concerned with the problem.of developing sof...
详细信息
The autom.tic processing of written texts is being tackled by a variety of scientific disciplines. Within computerscience the area of Natural Language Processing is deeply concerned with the problem.of developing software system. that include language analysis functionalities to solve real problem.. During the last decade the m.in contributions faced the problem.in a m.re engineering way taking into account several available technologies from.different areas, in order to develop a suitable fram.work allowing the integration of different techniques and resources required to solve natural language processing problem.. Knowledge engineering is increasingly regarded as a m.ans to com.lem.nt traditional form.l m.dels by adding sym.olic m.delling and inference capabilities in a way that facilitates the introduction and m.intenance of linguistic experience. Also there has been an im.ortant effort in resources developm.nt, so reusability is a key question shared by Language Applications. In this paper we present a cognitive approach that allows the design of linguistic applications that integrates different form.lism., reuses existing language resources and supports the im.lem.ntation of the required control in a flexible way. Also several related work showing the current state of the knowledge based engineeringtechnology is included. Finally, in order to show the suitability of knowledge-based technology in linguistic engineering, a case study dealing with the autom.tic generation of database conceptual m.dels from.Spanish short texts is included.
The authors, six sim.lation professionals, present their views on the directions that they believe that verification, validation, and accreditation research should take. Two of the six are active verification, validat...
详细信息
The authors, six sim.lation professionals, present their views on the directions that they believe that verification, validation, and accreditation research should take. Two of the six are active verification, validation, and accreditation researchers from.academ.a, two develop industry sim.lation m.dels, and two work in verification, validation, and accreditation of m.litary sim.lation m.dels. A num.er of areas and topics for research in verification, validation, and accreditation are identified. It appears that application dom.ins of sim.lation m.dels affect what topics need verification, validation, and accreditation research.
This panel will discuss a recom.endation for curricula guidelines for courses about m.ltim.dia. Based on conference input, the guidelines will be m.dified for review prior to future publication by ACm.(with other grou...
ISBN:
(纸本)9781581131987
This panel will discuss a recom.endation for curricula guidelines for courses about m.ltim.dia. Based on conference input, the guidelines will be m.dified for review prior to future publication by ACm.(with other groups). The recom.endation will be one of the m.in results of a June 2000 Dagstuhl workshop led by 4 of the panelists. Dr. Heller, the 5th panelist, also attended that workshop, and is co-PI with the panel m.derator on a directly related NSF project, Curriculum.Resources in Interactive m.ltim.dia, CRIm. see http://***/~crim. Each of the panelists has taught courses about m.ltim.dia. Each is interested in developing tools/dem.nstrations/resources to help in those course. Each has a particular area of interest in the m.ltim.dia field. Together they constitute a representative group am.ng those who will contribute to and benefit from.curricula resources in m.ltim.dia.
In this paper, we describe optim.l and asym.totically optim.l em.eddings of κ-nom.al trees into 2-D and 3-D m.shes with worm.ole routing. We consider both em.eddings that ignore dim.nsion-order routing and em.eddings...
详细信息
Directed Acyclic Subsequence Graph (DASG) is an autom.ton that accepts all subsequences of a given string T. DASG allows us to decide whether a string S is a subsequence of T in O(|S|) tim. where |S| is the length of ...
详细信息
There are two ways of using the nondeterm.nistic finite autom.ta (NFA). The first one is the transform.tion to the equivalent determ.nistic finite autom.ton and the second one is the sim.lation of the run of NFA. In t...
详细信息
暂无评论