a modular approach to instantiation based automated reasoning

... employ a large file of name variants, set up as a simple alias table: the nicknames and variants of each name appear on a single line in the file The name variants were derived manually from standard ... of retrieval For example, Glacier National Park or Mount Hood should be treated as phrases To accomplish this, a pattern matcher, based oil finite state automata, operates on simple patterns such ... subunits to be retrieved, e.g Los Angeles and San Francisco for a query California An alias table converted the various state abbreviations and other variant forms, e.g Washington D.C.; Washington,...

Ngày tải lên: 08/03/2014, 05:21

... and a semantic role of a head word All definition sentences in RSK were analyzed by JUMAN, a Japanese morphological analyzer, and KNP, a Japanese syntactic and case analyzer (Kurohashi and Nagao, ... analysis (abbreviated to DBA hereafter) for semantic-role relations Semantic feature -based analysis (abbreviated to SBA hereafter) for some semanticrole relations and all other relations After briefly ... the case analysis 4.2 Algorithm Given an input phrase N1 no N2, b o t h D B A and SBA are applied to the input, and then the two analyses are integrated 4.2.1 Dictionary -based Analysis Dictionary...

Ngày tải lên: 08/03/2014, 06:20

... Charles planned to obtain Narbonne for Charles.] Then Aymeri agreed to help Charles Then Charles and Aymeri Narbonne rode to [Then Charles was ready to try to obtain Narbonne.] Thibaut and Clarion ... linked stories, this is presumably because the audience may be assumed to have heard a first story, such as "Charles won Paris from Saladin" and be able to infer from it that Saladin now lacks Paris ... what information should be included in the text and what can be taken as read Characteristics of the author may lead, for instance, to choices which give a particular perlocutionary force to...

Ngày tải lên: 09/03/2014, 01:20

... our Pharaoh-like decoder are translation table and language model Our 5-gram language model is trained by the SRI language modeling toolkit (Stolcke, 2002) The translation table is obtained as described ... either phrase labels or lexical features only Apart from quantitative evaluation, let us consider the translation example of test shown in table To generate the correct translation, a phrasebased ... 2004 Improving a Statistical MT System with Automatically Learned Rewrite Patterns Proceedings for COLING 2004 Kenji Yamada, and Kevin Knight 2001 A syntaxbased statistical translation model Proceedings...

Ngày tải lên: 31/03/2014, 01:20

... early as ill-formed In Figure we give an illustration of the behavior of the morphological and syntactic parsers on a more complicated example: Ngarrka-ngku.ka marlu marna-kurra luwa.rnu ngarni.nja-kurra ... morphophonological parser, and is never even visible to the syntactic parser reached Needless to say, the solution is to interleave the phonological and syntactic analyses Sequences like analyz.iti.able ... ngarni.nja-kurra (man-ergative-aux kangaroo grass-obj shoot-past eat-infmitive-obj) 'The man is shooting the kangaroo while it is eating grass.' This example illustrates a number of instances of...

Ngày tải lên: 08/03/2014, 18:20

... information retrieval are based on the statistic method We propose an approach that changes the basic index term weighting method by considering semantics and concepts of a document In this approach, ... chain was represented as a concept vector in concept vector space, and the overall text vector was made up of those concept vectors The semantic importance of concepts and words was normalized according ... we can not deal all the concept of a document, we discriminate representative chains from lexical chains Representative chains are chains delegated to represent a representative concept of a document...

Ngày tải lên: 23/03/2014, 19:20

... only a few nodes are GPS enabled and are capable of finding their own location using GPS A few special nodes are equipped with antennas which can measure RSSI and the angle of arrival (AOA) of ... techniques to localize the network in a GPS Less or GPS-Scarce area (LACBER) The GPS-less localization [27] approaches, establish a virtual coordinate system and try to localize the network in that coordinate ... members about its intention to resign as cluster head CH_RACK Present cluster head relieves finally after broadcasting new cluster head ID Mangai and Tamilarasi EURASIP Journal on Wireless Communications...

Ngày tải lên: 21/06/2014, 03:20

... the total number of normal data The false negative rate is defined as the total number of attack data that were incorrectly classified as normal traffic divided by the total number of attack data 7.1 ... because each data value is too small or too few points are assigned to a cluster center due to a bad initialization of the means In case of internet traffic, this problem can also occur because each ... learning dataset with above-described dataset This dataset had 100,000 normal packets and 1,000 to 1,500 abnormal packets for training and evaluating each In the case of unsupervised learning algorithms...

Ngày tải lên: 21/06/2014, 05:20

... or a uniform linear array (ULA) but can easily be extended to an arbitrary geometry Both a linear spatial prefilter and an MRCbased diversity combiner are considered as preprocessors Performance ... Spatial filtering A spatial filter exploits the fact that user signals incident on the antenna array with greater spread in AOA interfere with each other less than signals that are closely spaced ... a few array geometries such as circular arrays (A matrix is said to be “trellis-oriented” if it has a diagonal banded structure.) Recently, we have developed two iterative list -based parallel...

Ngày tải lên: 21/06/2014, 22:20

... on small values for these criteria and also on low variances favorable to a good stability 2.3 Object oriented K-means algorithm This classical clustering process is based on an iterative algorithm: ... sequence We are confronted to an J Da Rugna and H Konik Table 1: Comparative results KM versus ooKM obtained with oriented approaches with test sequences Average values and standard deviations are given ... robust approach toward feature space analysis,” IEEE Transactions on Pattern Analysis and Machine Intelligence, vol 24, no 5, pp 603–619, 2002 [8] G Heidemann, “Region saliency as a measure for...

Ngày tải lên: 22/06/2014, 19:20

... ssbig-na-sstrix-gcc of SimpleScalar is used to compile an assembly program into benchmarks From assembly programs, we create bench- BINH et al.: A NEW APPROACH TO EMBEDDED SOFTWARE OPTIMIZATION BASED ON REVERSE ... conclusion and future work An Overall Model of Embedded Software Optimization After analyzing and evaluating related researches on embedded software optimization, we aggregate and construct an overall ... that are variables or constants; internal nodes are labeled with operation symbols; each node may have a list of labels; arcs represent relationships between operations and operand; internal...

Ngày tải lên: 24/10/2016, 11:09

... able to create meaningful data valid in large scale analyses (across herds and veterinary practices) Such veterinarians would generally want to focus on possibilities for across-herd data analyses ... scores as a 'diagnostic tool' related to each individual treatment decision rather than being part of a collaborative data collection For example, they could add rectal temperature and other parameters ... provides insight into potential errors (bias and random error) related to data based on clinical examina- Page of 10 (page number not for citation purposes) Acta Veterinaria Scandinavica 2009, 51:36...

Ngày tải lên: 25/10/2012, 10:45

... correlates poorly with liver histology, the ratio of aspartate aminotransferase (AST) to alanine aminotransferase (ALT) >1 is a dependable marker for cirrhosis [28,29] Increased INR and thrombocytopenia ... HCC, and mortality In addition, HCV infection has been linked to a variety of extra-hepatic manifestations such as autoimmune diseases, lymphoma, monoclonal gammopathies and cryoglobulinemia Some ... regardless of treatment candidacy Alcohol abstinence should be recommended to all patients as this may accelerate the progression of liver disease Hepatotoxic drugs should also be avoided, as patients...

Ngày tải lên: 02/11/2012, 09:51

... normal transaminases have historically not been considered as candidates for HBV treatment based on the assumption that these patients usually have a slow progression and evidence that these patients ... years, ALT has been used as a standard surrogate for the activity of CHB Thus, ALT level in combination with HBV DNA level and histological activity has been used as a determinant for HBV treatment ... predictors of response to LAM and ADV therapies are similar to those for IFN except that baseline HBV DNA may not be very important Individualization of HBV Treatment As summarized in Table and...

Ngày tải lên: 03/11/2012, 09:41

... However, Feynman soon learned that there was a great obstacle to this delayed action-at -a- distance theory: namely, if a radiating electron, say in an atom or an antenna, were not acted upon at all by ... xn (a) and which leaves the action invariant (for example, the transformation may be a rotation) The transformation is to contain a parameter, a, and is to be a continuous function of a For a equal ... gives probably the most fundacorresponds to e mental quantum analogue for the classical Lagrangian function It is preferable for the sake of analogy to consider the classical Lagrangian as a function...

Ngày tải lên: 06/11/2012, 11:21

... time available/ in the available time.(1) We have to exploit all available potential/ all potential available in our country (2) As we know that when changing the position of adjective available ... should be washed everyday Nguyễn Thị Nga K 1 1A 19 Graduation paper 2.2.5 Exclamatory adjective sentence An adjective as head of an adjective phrase or as its sole realization can be an exclamation: ... up to now C .A plays an important role in learning a foreign language as a main subject at most language universals According to C James (1980;19), C .A is a form of inter-language study and a central...

Ngày tải lên: 10/04/2013, 14:46

... the American Nurses Association, the American Psychological Association, and Sigma Theta Tau International She is a board member of the International Council on Women's Health Issues and a charter ... Library of Congress Cataloging-in-Publkation Data Thomas, Sandra P, Listening to patients : a phenomenological approach to nursing / Sandra P Thomas, Howard R Pollio p cm Includes bibliographical ... the man as a nurse and Ginger as a physician, whereas still other reactions identify the man as a nurse and Ginger as a patient You don't have to be a philosopher of language or a communications...

Ngày tải lên: 16/10/2013, 11:15

... team The database analysts and the programmers are unable to agree on the proper ways to pass information back and forth between the interface and the database, and the requirements analysts and ... software packages), hardware and software implementation (implementing new computers or software), database management and revision (ensuring proper data storage and access), hardware and software ... Project managers usually employ a Responsibility Assignment Matrix (RAM) such as the sample in Table (PMI, 2000), and OD scholars have advocated similar approaches in teambuilding and organizational...

Ngày tải lên: 24/10/2013, 08:20

... into manageable size—say to make a presentation about the Vietnam War or locate the best marketing strategy for a hypothetical business venture—consider making a quick visual map to see what ... number of audiences equals the number of students in class Write one per slip of paper and place in a hat and let each student draw an audience out of a hat Each now write a paragraph to the audience ... makes a permanent record to be reread and studied in your absence And if you want to maintain a certain tone or coolness of demeanor, this can be accomplished more easily in writing than in face-toface...

Ngày tải lên: 18/12/2013, 17:33