This paper describes a new iterative m.thod based on an integrated tim.ng-driven approach to the FPGA layout synthesis. The m.thod uses a global routing to assess the quality of a placem.nt. The placem.nt and routing ...
详细信息
The Internet presents num.rous new resources for teaching/learning. Despite this, it also brings m.ny difficulties. To get around som. of them. the AulaNet environm.nt was developed in such a way that teachers could c...
详细信息
The num.er of states of a determ.nistic finite autom.ton, which is equivalent to a nondeterm.nistic finite autom.ton is bounded by 2n, where n is the num.er of states of the nondeterm.nistic finite autom.ton. This bou...
详细信息
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.
暂无评论