| 词汇 | example_english_algorithmic |
| 释义 | Examples of algorithmicThese examples are from corpora and from sources on the web. Any opinions in the examples do not represent the opinion of the Cambridge Dictionary editors or of Cambridge University Press or its licensors. Algorithmic principles of each approach are described and contrasted. We use algorithmic skeletons to partially achieve this goal. The input to any stage involves both algorithmic pieces and proof pieces. We prove the semantic equivalence of the specialized algorithmic skeleton and the loop nest. The algorithmic code is consequently uncluttered by details relating only to the parallel behaviour. To facilitate algorithmic type inference, our system is syntax-directed; there is one type rule for each case in the grammar. During his activities from 1961 to the 1980s he devoted much research to algorithmic composition. On the basis of (58)-(61), the three methods are compared, in terms of computational efficiency, repeatability, and the ability to handle algorithmic singularity. We give here a semantic, but nevertheless algorithmic criterion for a proof structure to be a proof net. An advantage of such constructive approaches is that they may suggest algorithmic approaches for approximating the resulting integral. The architecture of the engine, both from an algorithmic perspective and software engineering perspective, has been discussed. Each represents a form of computer-mediated algorithmic audiovisual work. The significance of this research for generative music-making lies in the acknowledgement that algorithmic strategies have stylistic tendencies. The same algorithmic engine was to produce the 'sound' as well as all other aspects of the composition. The merging of formalised (algorithmic composition) and sonic (timbre composition) is made by means of ecosystemic principles. Their use of algorithmic composition was not to automatically compose but rather a method of inquiry into the spatial and temporal substance of music. Their algorithmic representation makes them suitable for computer applications such as this. One chapter each is dedicated to the first three types, and algorithmic composition is covered in two chapters, 18 and 19. In algorithmic computer composition this is done by setting up events which happen at certain predetermined or non-predetermined points in time. A brief explanation is needed here to avoid confusion due to the terms 'algorithmic' and 'rule-based'. Algorithmic approaches to program understanding can be difficult to automate, largely due to the difficulties inherent in loop analysis. In algorithmic composition, mapping becomes central to the compositional effort, either implicitly or explicitly. Often my relationship to algorithmic composition is of being influenced by it rather than doing it, particularly in electronic music. Mapping in algorithmic composition is different from mapping in instrument design because composition is a process of planning and instruments are for realtime music production. In algorithmic composition it becomes more evident because it is dealt with as a technical problem. Why not explore this concept of change through algorithmic means? Alongside this, new numerical algorithmic analyses give this volume value in adding to our knowledge. Our approach to the problem is more algorithmic than previous approaches. We mention them here because from the standpoint of the implementation and the algorithmic procedure, they exhibit significant differences to the other approaches. Strong representation occurs when we imbue the representation with the ability to make algorithmic inference about its referent. His research focuses on the formal, semantic, generative, and algorithmic issues in computational design. Mixed partitioning was rejected to allow the implementation to use the simple algorithmic skeleton implementations that have been well-studied in the past. A prototype demonstrates practically that particular algorithmic approaches will work. We focus mainly on the algorithmic aspects, but we also provide some indicative measurements to substantiate the importance of various aspects of the inliner. Each rule is similar to one of the algorithmic rules, with the following differences. In more detail, algorithmic debugging proceeds as follows. However, faster implementations will ultimately depend on better understanding of the algorithmic aspects of reasoning with logic programs under the stable model semantics. Thus, we consider the problem of computing a reasonably accurate post-fixpoint as a pragmatic issue to be solved at the algorithmic level. They distinguish between algorithmic comparisons and non-algorithmic comparisons, which correspond, roughly, to component comparisons and holistic comparisons. The second part of this paper (sections 7-9) focuses on the essential difference between the techniques used to solve algorithmic and search problems. However, both models analyze it in quasi-algorithmic or automatizable ways, which deprive it precisely of this characteristic. An algorithmic solution can be used to compute relevant velocities of the manipulator. In addition to this, proofs also provide means through which to carry out algorithmic investigation. They are purely algorithmic marks that only allow for increasing the range of problems for which the procedure works. Taking the algorithmic feature of the texts into account, this approach is appropr iate to the internal structure of the extant mathematical texts. More generally, efforts in algorithmic composition are no exception. By controlling the density of vocal events, our algorithmic tools supplied a way to deal with this emergent phenomenon. Mapping as part of algorithmic composition has not been so thoroughly investigated. Do you have a consistent approach to algorithmic composition and mapping or does it vary and why? By nature, algorithmic processes are a domain of program-controlled calculating machines, and hence the generative resource of computer-based creation. One viewpoint discounts all algorithmic composition, the other embraces it. Displayed in the middle of each figure is the unanalyzed waveform; above that, and aligned with it, is a curve derived from algorithmic pitch extraction. In this article we want to motivate the choice for lazy functional programming for the introduction to algorithmic thinking. The algorithmic complexity is the main drawback of this method. Most scientists would agree with him that the attempt to achieve algorithmic compressions characterizes science itself. As far as the relevant scientific communities were concerned, closure on this issue had been achieved by algorithmic means. Whether our theoretical results and algorithmic techniques we developed here will have any significant practical implications is a question for future research. The principle would work also for the "symmetric version" of weak expansion, but the introduced asymmetry leads to important algorithmic simplifications. Algorithmic aspects for verification of properties of the resulting linear logic specifications are not considered in the works mentioned above. Computational mathematics is all about rendering mathematical phenomena in an algorithmic form, amenable to sufficiently precise, affordable and robust number crunching. His system can generate algorithmic arts from a set of abstract images, textures, and patterns. Therefore, the symbols are used as a part of verification of the algorithmic aesthetics. Also, various special cases in terms of customer requirements had to be coded into the algorithmic configurators by hand. In any case, he expresses little faith in algorithmic approaches to ethical problems. To show that one algorithmic description is in fact correct, we must analyze further and confirm that the requisite lower-level mechanisms exist in the system. Is it possible to modify the algebraic proofs given here so that they yield efficient ways of solving the corresponding algorithmic problems? An algorithmic approach for computing the expectation was published by the authors in [10]. Algorithmic theories describe only the computations according to which people generate optimal behavior. One must specify the computed function before treating the problems of algorithmic and physical implementation. What is remarkable is that all of these disciplines distinguish computational theories from algorithmic theories. The computationalist theorist needs to know the relevant constraints to proceed to the algorithmic level of explanation. He distinguishes between two general sorts of information theory - classical and algorithmic. Cognitive architecture belongs to the implementation level, which is below the algorithmic level. We have also described an efficient implementation of inductive graphs, which shows that the alternative algorithmic style gives both efficiency and clarity. The approach concentrates on the essence of algorithmic theory, and on determining and taking advantage of the inherently parallel nature of certain types of problem. Then, in sections 4.2 and 4.3, strictification is developed as a means for making algorithmic debugging of programs written in lazy functional programs easier. In this section we describe the basic principles of algorithmic debugging. Instead, we shall define an algorithmic calculation of a syntactically flattened representation for patterns to support a presentation of pattern predicates in rule schemes. We discuss the main design principles of this functional toolkit, and give in detail the algorithmic treatment of key structures. To this extent we have advanced the concept of algorithmic skeletons into a practical and usable tool. There do not appear to be algorithmic answers. However, a decision to avoid any decision is still a decision, and lies at one end of the spectrum of algorithmic prescription. We are therefore not concerned with justifying an algorithmic approach to the problem of musical and image organisation. Several algorithmic processes are often required to achieve this. In the following sections we start with basic musical and mathematical concepts and introduce the algorithmic mechanism used. The treatment of hyperlipidemia is readily suited to the algorithmic, multidisciplinary approach used in the present study. The algorithmic aesthetics is based on scientific theory. However, on the other hand, certifying that a random k-tuple system has low discrepancy seems to be an algorithmic challenge. In fact, the algorithmic aspect is one of the driving forces of this paper. We wish to argue that toric algebra and algebraic geometry provide useful algorithmic tools for the research directions presented in. In the present paper, we derive the size of the maximum cut of the line graph exactly by the application of algorithmic reasoning. We also consider related structural questions, including the emergence of a giant component, as well as some of the algorithmic issues raised by the model. At the algorithmic level the key issue is one of computational efficiency, whereas issues of rationality arise at the intentional level. Here, performance errors represent algorithmic-level problems that are transitory in nature. Hull 1987 has investigated a computational theory of reading and made progress towards defining an algorithmic realisation of this theory. In this and the following figures, rectangles represent algorithmic modules, octagons represent knowledge intensive modules, and rounded rectangles represent integrated modules. When we can per form a design task by using a sound algorithmic method, we no longer think of what we do as designing. Machine learning puts strong requirements on what is called a good algorithmic extension. Algorithmic aesthetics are developed based on the aesthetic measure theory, surveys of human preferences, and popular long-lasting symbols. A presentation of our algorithmic results, proved by methods partially related to, will appear elsewhere. These examples are from corpora and from sources on the web. Any opinions in the examples do not represent the opinion of the Cambridge Dictionary editors or of Cambridge University Press or its licensors. |
反思网英语在线翻译词典收录了377474条英语词汇在线翻译词条，基本涵盖了全部常用英语词汇的中英文双语翻译及用法，是英语学习的有利工具。