Xem 1-20 trên 31 kết quả Partial evaluators
  • Partial evaluation technology continues to grow and mature. ACM SIGPLANsponsored conferences and workshops have provided a forum for researchers to share current results and directions of work. Partial evaluation techniques are being used in commercially available compilers (for example the Chez Scheme system). They are also being used in industrial scheduling systems (see Augustsson's article in this volume), they have been incorporated into popular commercial products (see Singh's article in this volume), and they are the basis of methodologies for implementing domain-specific languages....

    pdf445p hotmoingay3 09-01-2013 24 3   Download

  • This paper presents DEPEVAL(summ), a dependency-based metric for automatic evaluation of summaries. Using a reranking parser and a Lexical-Functional Grammar (LFG) annotation, we produce a set of dependency triples for each summary. The dependency set for each candidate summary is then automatically compared against dependencies generated from model summaries. We examine a number of variations of the method, including the addition of WordNet, partial matching, or removing relation labels from the dependencies. ...

    pdf9p hongphan_1 14-04-2013 16 2   Download

  • The use of implants has, little by little, been imposed on the world of dentistry. Some years ago, it was strongly suggested that the practitioners asked implant patients to sign a consent form to release the dentist from all responsibility in case of failure. Then, one day a patient in France sued his dentist for having prepared his teeth for a fixed partial denture without suggesting the implant alternative. The patient won the case. Soon it might be necessary to ask patients to sign a form indicating that they have refused implant treatment.

    pdf168p hyperion75 21-01-2013 22 6   Download

  • This study characterized maxillary sinus mucositis (SIMS) adjacent to teeth with apical periodontitis (AP), and assessed its resolution three months after endodontic treatment. 29 subjects who maxillary posterior teeth with AP were imaged with cone-beam computed tomography (CBCT). Resolution of SIMS was assessed with CBCT three months after treatment, and periapical healing was assessed using the PAI after six months. Four non-compliant subjects were discontinued and SIMS was identified in 14/25 subjects (56%).

    pdf156p nhacnenzingme 28-03-2013 23 3   Download

  • The Potential of Soil Survey Data in a Quantitative Evaluation of Surficial Geology Mapping in Northern Maine by Rosalia Evans Thesis submitted to the Eberly College of Arts and Sciences at West Virginia University in partial fulfillment of the requirements for the degree of Master of Arts in Geography

    pdf131p samsung_12 07-05-2013 13 3   Download

  • Tuyển tập các báo cáo nghiên cứu về y học được đăng trên tạp chí y học Wertheim cung cấp cho các bạn kiến thức về ngành y đề tài: Multislice computed tomography is useful for evaluating partial anomalous pulmonary venous connection...

    pdf3p thulanh24 21-11-2011 14 2   Download

  • With historically low interest rates and the unprecedented monetary and fiscal stimulus measures taken to combat the market downturn of 2008–2009, many believe that the Fed has no choice but to begin raising interest rates in the near future. That is a normal course of action and signals that the Fed believes the economy is on sounder footing. Yet, the prospect of rising interest rates provides much consternation for bond investors, who may be disserved by such action.

    pdf6p taisaocothedung 12-01-2013 21 2   Download

  • Tuyển tập các báo cáo nghiên cứu khoa học quốc tế về bệnh thú y đề tài: Evaluation of partial cranial cruciate ligament rupture with positive contrast computed tomographic arthrography in dogs

    pdf6p hoami_238 19-09-2011 14 1   Download

  • GLR* is a recently developed robust version of the Generalized LR Parser [Tomita, 1986], that can parse almost any input sentence by ignoring unrecognizable parts of the sentence. On a given input sentence, the parser returns a collection of parses that correspond to maximal, or close to maximal, parsable subsets of the original input. This paper describes recent work on developing an integrated heuristic scheme for selecting the parse that is deemed "best" from such a collection. We describe the heuristic measures used and their combination scheme. ...

    pdf3p bunmoc_1 20-04-2013 17 1   Download

  • This design guide evaluates Cisco VPN product performance in scalable and resilient site-to-site VPN topologies, using Cisco VPN routers running Cisco IOS Software, with IPsec as the tunneling method. The concepts presented can also be applied to other Cisco products that do not run Cisco IOS software. This design guide begins with an overview, followed by design recommendations and product selection and performance information. Finally, partial configuration examples are presented.

    pdf41p minhthanh 11-08-2009 147 27   Download

  • This chapter discusses sinusoidal steady state power calculations. Numerical integration is used to obtain the rms value, average power and quadrature power. Three-phase circuits are analyzed by converting the circuits into the frequency domain and by using the Kirchoff voltage and current laws. The unknown voltages and currents are solved using matrix techniques. Given a network function or transfer function, MATLAB has functions that can be used to (i) obtain the poles and zeros, (ii) perform partial fraction expansion, and (iii) evaluate the transfer function at specific frequencies.

    pdf39p balanghuyen 13-01-2010 52 15   Download

  • .CHAPTER SIX AC ANALYSIS AND NETWORK FUNCTIONS This chapter discusses sinusoidal steady state power calculations. Numerical integration is used to obtain the rms value, average power and quadrature power. Three-phase circuits are analyzed by converting the circuits into the frequency domain and by using the Kirchoff voltage and current laws. The unknown voltages and currents are solved using matrix techniques.

    pdf39p thachcotran 04-02-2010 68 14   Download

  • Cuốn sách cung cấp cách nhìn và phân tích về thế giới vật lý. Cũng như các chương trình toán học khác, calculus liên quan đến các phương trình và công thức. Tuy nhiên, nếu bạn thành công trong việc học cách sử dụng tất cả các công thức và giải quyết tất cả các vấn đề trong sách nhưng không nắm vững những ý tưởng cơ bản, bạn sẽ bị mất một phần quan trọng nhất của giải tích.

    pdf1319p dinhbuts 08-05-2014 102 14   Download

  • Approach to the Patient: Erectile Dysfunction A good physician-patient relationship helps to unravel the possible causes of ED, many of which require discussion of personal and sometimes embarrassing topics. For this reason, a primary care provider is often ideally suited to initiate the evaluation. A complete medical and sexual history should be taken in an effort to assess whether the cause of ED is organic, psychogenic, or multifactorial (Fig. 492). Initial questions should focus on the onset of symptoms, the presence and duration of partial erections, and the progression of ED.

    pdf5p ongxaemnumber1 29-11-2010 27 5   Download

  • Karnofsky was among the first to champion the evaluation of a chemotherapeutic agent's benefit by carefully quantitating its effect on tumor size and using these measurements to objectively decide the basis for further treatment of a particular patient or further clinical evaluation of a drug's potential.

    pdf5p konheokonmummim 03-12-2010 40 3   Download

  • AMATH 581 Homework 2 Shallow Liquid Simulation Erik Neumann 610 N. 65th St., Seattle, WA 98103 erikn@MyPhysicsLab.com November 19, 2001 Abstract A model of shallow fluid behavior is evaluated using a variety of numerical solving techniques. The model is defined by a pair of partial differential equations which have two dimensions in space and one dimension of time. The equations concern the vorticity ω and the stream function ψ which are related to the velocity field of the fluid. The equations are first discretized in time and space.

    pdf34p khangoc2392 12-08-2012 22 3   Download

  • Over the last decade numerous accounting papers investigate the empirical relation between stock market values (or changes in values) and particular accounting numbers for the purpose of assessing or providing a basis of assessing those numbers’ use or proposed use in an accounting standard. We call the group of papers that are at least partially motivated by standard-setting purposes, the ‘‘value-relevance’’ literature. This paper’s objective is to critically evaluate the standard-setting inferences that can be drawn from these valuerelevance papers.

    pdf49p bin_pham 06-02-2013 16 3   Download

  • This paper presents a new approach to partial parsing of context-free structures. The approach is based on Markov Models. Each layer of the resulting structure is represented by its own Markov Model, and output of a lower layer is passed as input to the next higher layer. An empirical evaluation of the method yields very good results for NP/PP chunking of German newspaper texts.

    pdf8p bunthai_1 06-05-2013 21 3   Download

  • Clinical Presentation The presenting signs and symptoms include hematuria, abdominal pain, and a flank or abdominal mass. This classic triad occurs in 10–20% of patients. Other symptoms are fever, weight loss, anemia, and a varicocele (Table 90-4). The tumor can also be found incidentally on a radiograph. Widespread use of radiologic cross-sectional imaging procedures (CT, ultrasound, MRI) contributes to earlier detection, including incidental renal masses detected during evaluation for other medical conditions.

    pdf5p konheokonmummim 03-12-2010 26 2   Download

  • In spoken dialogue systems, Partially Observable Markov Decision Processes (POMDPs) provide a formal framework for making dialogue management decisions under uncertainty, but efficiency and interpretability considerations mean that most current statistical dialogue managers are only MDPs. These MDP systems encode uncertainty explicitly in a single state representation.

    pdf4p hongphan_1 15-04-2013 18 2   Download

Đồng bộ tài khoản