Báo cáo khoa học: "A Modal Temporal Logic for Reasoning about Change" ppt

... necessary for the temporal structure to be dense or continuous, there is no immediate argument against modal temporal logic in general. (That Is, one could develop a modal temporal logic that ... we present a modal temporal logic that has been developed for reasoning about change in data bases. The basic motivation is as follows. A data base contains informati...

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

... Theory for Reasoning about Speech Acts Douglas Appelt, Kurt Konolige Artificial Intelligence Center and Center for the Study of Language and Information SRI International Menlo Park, California ... prac- tical system for reasoning about ignorance must be based on nonmonotonic reasoning; (4) existing speech act theories based on nonmonotonic rea- soning cannot account...

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

... paper, we formulate ex- tractive summarization as a two step learn- ing problem building a generative model for pattern discovery and a regression model for inference. We calculate scores for sentences ... 2010. c 2010 Association for Computational Linguistics A Hybrid Hierarchical Model for Multi-Document Summarization Asli Celikyilmaz Computer Science Department University of Cal...

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

... June 2005. c 2005 Association for Computational Linguistics A Phonotactic Language Model for Spoken Language Identification Haizhou Li and Bin Ma Institute for Infocomm Research Singapore ... to extracted information from acous- tic model and n-gram LM for language l. We have and {, AM } L LM lll λλλ = ( 1, , ) l l λ ∈Λ = . A maxi- mum-likelihood classifier can be formulated a...

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

... blocks for for which . 560 4 Online Training of Maximum-entropy Model The local model described in Section 3 leads to the fol- lowing abstract maximum entropy training formulation: (8) In this formulation, ... The total number of orientation bigrams is about million for our train- ing data consisting of sentence pairs. The orientation bigram list is used for the parameter training pre...

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

... hybrid approach for Word Sense Disambiguation (WSD) which makes use of a relational formalism to represent instances and background knowledge. It is built using Inductive Logic Programming ... give-cake big-cake … Figure 1. Attribute-value vector for syntactic relations Given that some types of information are not avail- able for certain instances, many attributes will have n...

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

... electrode. For starch extraction, pellets for ethanol extraction were solubilized by heating them to 95 °Cin0.5m NaOH for 30 min. After acidification with 1 m CH 3 COOH, the suspension was digested for ... pattern search method for bound constrained gloabal optimiza- tion. J Glob Optim 39 , 197–219. 34 Schmidt H & Jirstrand M (2006) Systems Biology Tool- box for MATLAB: a compu...

Ngày tải lên: 14/02/2014, 22:20

... distinct pharmacological and physiological properties opens up an opportunity to develop selective nAChR agonists and modulators for the specific treatment of neurological disorders. A prerequisite for the ... pharmacological and physiological properties of the channel. In situ hybridization and immunohisto- chemistry data show overlapping distributions for a variety of subunits, and ele...

Ngày tải lên: 19/02/2014, 12:20

... 13320 M )1 Æcm )1 [16]. All measurements for unliganded protein were performed in buffer A (10 mM Tris/HCl, 150 mM NaCl, 2 m M dithiothreitol, pH 8.0), but for the complex of protein with Tc, buffer ... process, R is the gas constant, and A is equal to 4.0 for monomer or for nondissociated dimer [19]. Circular dichroism CD measurements were performed on a Jasco-710 spectro- polarimete...

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

... relevant to the target concerned. Therefore, we argue that existing information representation i.e. bag-of-word, cannot satisfy the information needs for opinion retrieval. In this paper, ... opi- nion about the target has to be presented in the document or one of the comments to the docu- ment (Macdonald and Ounis, 2006). Therefore, in this paper we regard the information needs fo...

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