đề bài phân tích bài ca ngất ngưởng của nguyễn công trứ

Cooperative tasking for multi agent systems

Ngày tải lên : 10/09/2015, 08:23

... achieve logical global specifications The first step to control the logical behavior of a team of agents is to represent the desired logical behavior of the team in a mathematical way to capture eventdriven ... practical applications This problem demands a new and formal method to design the local control laws and interaction rules for agents, directly, such that the desired global specification can be ... is to decompose a global specification into sub-specifications for individual agents, and then design local controllers for each agent to satisfy these local specifications, respectively The decomposition...

213
441
0

Module 3: Logical Design and Behavioral Design Patterns

Ngày tải lên : 19/10/2013, 02:15

... user, who is typically a bank customer, and an ATM service There are five use cases: ! Authentication An ATM user initiates this use case to get authenticated with a magneticstriped card and a PIN ... must be capable of operating independently 10 Module 3: Logical Design and Behavioral Design Patterns ATM Use Cases Topic Objective To provide background about ATM use cases Lead-in Authentication ... the sequence of activities for two of the five use cases In the first use case, entering a card and a PIN authenticates the user The authentication is handled by verifying the PIN number entered...

30
505
1

Tài liệu Module 3: Logical Design and Behavioral Design Patterns doc

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

... user, who is typically a bank customer, and an ATM service There are five use cases: ! Authentication An ATM user initiates this use case to get authenticated with a magneticstriped card and a PIN ... must be capable of operating independently 10 Module 3: Logical Design and Behavioral Design Patterns ATM Use Cases Topic Objective To provide background about ATM use cases Lead-in Authentication ... the sequence of activities for two of the five use cases In the first use case, entering a card and a PIN authenticates the user The authentication is handled by verifying the PIN number entered...

30
470
0

Concurrency Theory Howard Bowman and Rodolfo GomezConcurrency TheoryCalculi and Automata potx

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

... product automata (CA) to pbLOTOS speciﬁcations ∆2 : a mapping from product automata (CA) to CCS CAct speciﬁcations Other Symbols and Acronyms CCS CAct |A u1 , , un u[l → j] \CAct Π CAct EV JvKs ... actions a network of automata a location vector substitution of locations (the jth component in u, by location l) the CCS CAct restriction operator the CCS CAct parallel composition operator ... duplicate message Stop and wait protocols, which can lose acknowledgements, typically use 22 Process Calculi: LOTOS alternating bit sequence numbering in order to obtain reliable communication...

444
313
0

Copulas and credit models doc

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

... asset value (so-called asset returns) For determining the thresholds Di an option pricing technique based on historical ﬁrm value data is used The asset return correlations are calibrated by assuming ... understanding the idea of statistical dependence There are two principal ways of using the copula idea We can extract copulas from wellknown multivariate distribution functions We can also create new multivariate ... generd ating default indicator vectors Y and Y The models are called equivalent if Y = Y Thus two models are equivalent if they give rise to exactly the same default indicator distribution, which...

8
290
0

Báo cáo khoa học: "Large-Scale Cross-Document Coreference Using Distributed Inference and Hierarchical Models " pptx

Ngày tải lên : 07/03/2014, 22:20

... page, are discarded While this results in cases in which “President” is discarded when linked to the “Barack Obama” Wikipedia page, it was necessary to reduce noise Further, we also discard links ... inference on the combined hierarchical model is both faster and more accurate than the individual hierarchical models 5.3 Wikipedia Link Corpus To explore the application of the proposed approach ... −(φmn − b), where b is the bias While one can certainly make use of a more sophisticated feature set, we leave this for future work as our focus is to scale up inference However, it should be noted...

11
319
0

Báo cáo khoa học: "Extracting Opinion Expressions and Their Polarities – Exploration of Pipelines and Joint Models" pot

Ngày tải lên : 07/03/2014, 22:20

... support vector machines to carry out this classification The problem of polarity classification has been studied in detail by Wilson et al (2009), who used a set of carefully devised linguistic ... significant boosts in recall, following our previous results in (Johansson and Moschitti, 2010b), which also mainly improved the recall The precision shows a slight drop but much lower than the recall ... F-measure and points in recall The improvements over Choi and Cardie (2010) ranged between 10 and 15 in overlap F-measure and between 17 and 24 in recall This is not only of practical value but also...

6
328
1

Báo cáo khoa học: "Joint and conditional estimation of tagging and parsing models∗" docx

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

... (the latter can be regarded as a simplification of the Maximum Entropy Markov Models of McCallum et al (2000)), and shows that MLEs outperform the MCLEs in this application The final empirical section ... next moves are calculated These parsers are direct simplifications of the Structured Language Model (Jelinek, 2000) Because the parsers’ moves are determined solely by the top two category labels ... estimators can be used with other kinds of models besides MaxEnt models, and in any event it is interesting to ask whether the MLE differs from the MCLE in actual applications, and if so, how Because...

8
370
0

Báo cáo khoa học: "Relating Probabilistic Grammars and Automata" doc

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

... that any P C F G can be put in Chomsky normal form, that weights can be renormalized to ensure that the result of grammar transformations can be made into PCFGs, that any P C F G can be put in Greibach ... it can be difficult to estimate fully these likelihoods, we might restrict ourselves to models based on bilexical relationships (Eisner, 1997), those between pairs of words The simplest bilexical ... oak can be derived using a lexicalized P C F G based on the productions in Figure Production probabilities in the P C F G would reflect the likelihood that a phrase headed by a certain word can...

8
193
0

Interest Rates and The Credit Crunch: New Formulas and Market Models potx

Ngày tải lên : 15/03/2014, 07:20

... single-curve case In fact, the correlation between Brownian motions W k and Zk can be arbitrary and used for calibration of the market caplet skew, whereas the correlation between k,D W k and Zh can be ... constant and Za,b,c,d is a Qc,d -Brownian motion, the expectation in (14) D can be explicitly calculated as in the caplet case, leading to the generalized Black formula: d i S S PS(t, K; Ta+1 , ... 5.1 Market formula for caplets i We ﬁrst consider the case of a caplet paying out at time Tk i i i τk [Fk (Tk−1 ) − K]+ (9) i To price such payoﬀ in the basic single-curve case, one notices that...

37
586
0

Research " RISKY HEALTH. BEHAVIORS AND PUBLIC POLICY " ppt

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

178
277
0

Báo cáo khoa học: "Combining data and mathematical models of language change" ppt

Ngày tải lên : 17/03/2014, 00:20

... English historical phonology during this period (Lass, 1992; MacMahon, 1998) We leave more careful veriﬁcation of this claim to future work Analogy/Lexicon In historical linguistics, analogical changes ... phonological changes are based in asymmetric transmission errors: because of articulatory or perceptual factors, listeners systematically mishear some sound α as β, but rarely mishear β as α.7 We call ... forms more similar to each other in their phonetic (and morphological) structure” (Hock, 1991).6 Proposed causes for analogical change thus often involve a speaker’s production and perception...

11
406
0

Báo cáo khoa học: "DATR Theories and DATR Models" ppt

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

... way, the value of (syn cat) at M o w is inherited locally from E n V e r b (which in turn inherits locally from Verb) and the value of (syn cat) at C a n is inherited locally from M o d a l (which ... V e r b : (mor form) Walk : (syn cat) = = V e r b : (syn cat) Thus, the value associated with (syn cat) at W a l k is given (implicitly) as the value of (syn cat) at Verb, which is given (explicitly) ... Conference on Applied Natural Language Processing, pages 211-212 Bob Carpenter 1993 Skeptical and credulous default unification with applications to templates and inheritance In Ted Briscoe, Valeria...

8
308
0

Báo cáo khoa học: "Structural, Transitive and Latent Models for Biographic Fact Extraction" pdf

Ngày tải lên : 17/03/2014, 22:20

... AAAI, pages 1400–1405 E Alfonseca, P Castells, M Okumura, and M RuizCasado 2006 A rote extractor with edit distancebased generalisation and multi-corpora precision calculation Proceedings of COLING-ACL, ... Ruiz-Casado, E Alfonseca, and P Castells 2005 Automatic extraction of semantic relationships for wordnet by means of pattern learning from wikipedia Proceedings of NLDB 2005 R Bunescu and M Pasca ... framework (Mann and Yarowsky, 2005; Alfonesca, 2006; Pasca et al., 2006) Secondly, there is a general lack of work that attempts to utilize the typical information sequencing within biographic...

9
385
0

Báo cáo khoa học: "The Formal and Processing Models of CLG" docx

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

... CLG processing model can be carried over to other 177 - [12] Carpenter, B., C Pollard, A Franz (to appear) "The Specification and Implementation of Constraint-Based Unfication Grammars" Notes ... constraints is motivated by methodological rather than theoretical reasons The two representations are logically equivalent but CLG's commitment to naturally extend unification to constraint resolution ... which can be derived from c, and also decide if c is satisfiable This strategy, however, suffers from the inherent NP hardness, and, for practical implementations we prefer to use, at most unification...

6
281
0

Query Languages and Data Models for Database Sequences and Data Streams doc

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

... streams of phone-call records: StartCall(callID, time); Endcall(callID, time); The stream StartCall is used to record a starting time of each call with its ID, while the stream EndCall is used to ... indicate which stream does each tuple come from Tuples are grouped by diﬀerent callID group Example Compute the length of each call SELECT callID, length(time, tag) AS CallLength, FROM ( SELECT callID, ... FROM ( SELECT callID, time, ’start’ FROM StartCall UNION ALL SELECT callID, time, ’end’ FROM EndCall) AS CallRecord (callID, time, tag) GROUP BY callID; The UDA length is used to compute the...

12
409
0

PREDICTING FINANCIAL DISTRESS OF COMPANIES: REVISITING THE Z-SCORE AND ZETA® MODELS

Ngày tải lên : 23/03/2014, 17:44

... important because it is the least significant ratio on an individual basis In fact, based on the univariate statistical significance test, it would not have appeared at all However, because of its ... corporates, specifically Mexican firms that had issued Eurobonds denominated in U.S dollars The book value of equity was used for X4 in this case The classification results are identical to the revised ... X1 through X4 are all significant at the 0.001 level, indicating extremely significant differences in these variables among groups Variable X5 does not show a significant difference among groups...

54
549
0

Báo cáo khoa học: "Low-cost Enrichment of Spanish WordNet with Automatically Translated Glosses: Combining General and Specialized Models" pdf

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

... translation cases selected for discussion Case is again an example of both systems obtaining very low scores because of ‘quasiparallelism’ Cases and are examples of SYSTRAN outperforming our system In case ... based on rewarding lexical similarities are not well suited for these cases Cases 2, 3, are examples of proper cooperation between ‘EU’ and ‘WNG’ models ‘EU’ models provides recall, for instance ... ‘illustration’, whereas in case it shows higher recall by suggesting appropriate translation candidates for ‘ﬁbers’, ‘silkworm’, ‘cocoon’, ‘threads’, and ‘knitting’ Cases FE 0.0000 FW 0.1333 FEW...

8
290
0

Báo cáo khoa học: "Collapsed Consonant and Vowel Models: New Approaches for English-Persian Transliteration and Back-Transliteration" ppt

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

... used ten-fold cross-validation The statistical significance of different performance levels are evaluated using a paired t-test The notation TOP -X indicates the first X transliterations prodcued ... alignment can be defined as a search problem that seeks for units with a maximum length of two or three in both strings that need to be aligned In our approach, we search based on statistical occurrence ... single letter and single letter to digraph Trigraphs are unnecessary in alignment as they can be effectively captured during transliteration generation, as we explain below We define four different...

8
309
0

Báo cáo khoa học: Disease-related mutations in cytochrome c oxidase studied in yeast and bacterial models pptx

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

... oxidase (unless otherwise indicated) As the catalytic core of human enzyme is essentially identical (90%) to that of the bovine enzyme, the structure of the bovine oxidase can be used to predict some ... located at the base of helix of subunit The alpha carbon of G78 ˚ comes close to the ring of F94 of subunit (4 A), which makes hydrophobic contact with PE9, one of the two phospholipids speciﬁcally ... mutations should result in truncated subunits, which abolish complex assembly and thereby cause a respiratory defect in the patients Similarly, the mutation M1T in subunit causes a severe decrease...

9
318
0