A Temporal Modelling Environment for Internally Grounded Beliefs, Desires and Intentions doc

... particular states based on beliefs, desires and intentions, is formalised using a temporal language. A software environment is presented that can be used to specify, simulate and analyse temporal ... each time-interval. The checker can read back a physical trace as generated by the simulator, but it can also read back a trace where for time-points a value for...

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

... PELL- PACK solvers) to generate the performance data that provides initial information to the knowledge bases. The raw performance information is automatically transformed into rules and facts and ... compile and execute programs on all the hardware and soft- ware platforms that PELLPACK supports by managing the complexities associated with sequential and multi-plat- form parallel e...

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

... to domain knowledge already encoded in the knowledge base of a limited domain natural language application such as a database query system. Given a hand-coded hierarchical organization of ... The Mental Representation of Grammatical Relations, The MIT Press, Cambridge, Mass, pp.173-281 Kay, M.(198 4a) 'Functional Unification Grammar: A Formalism for Machine Translatio...

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

... has associated with it a stream of values, in addition to the two dedicated parameter streams, para in and para out, for the input and output parameters, respectively. Values in each stream are ... co- operation with Infineon Technologies and in particular thank Guillaume Sauzon, Thomas Herndl, Ahmad Sarashgi, Wolfgang Haas, and Johann Glaser for their collabora- tion. This work...

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

... the data manipulation is expressed by graph transformations [Andries et al. 1992]. This transformation language has a graphical syntax and semantics and contains basic operations for graph manipulations: ... the database schema as well as the database instances can be seen as graphs with the data manipulation language expressed in terms of graph transfor- mations. Amann and Scholl [...

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

... distinguished two major classes of nAChRs: a major population of a- BTX binding a7 * nAChRs which is mainly localized perisynaptically, and a less abundant population of a3 * nAChRs which contain a5 andb4 subunits ... terminals, indicating Fig. 3. Presynaptic nAChR modulating dopamine release in the rat striatum. (A) Nicotine acts at somatodendritic nAChR in the substantia nigra par...

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

... relevant background relation graph is also represented as a touchable graph in the same way as a topic graph. The major difference is that the edges are actually labeled with the specific relation ... TechWatch–Ordo and Alexandria4Media. References Marco Baroni and Stefan Evert. 2008. Statistical meth- ods for corpus exploitation. In A. L ¨ udeling and M. Kyt ¨ o (eds.), Corpus Li...

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

... at the same time, we expand boundary tags to include POS information by attaching a POS to the tail of a boundary tag as a postfix following Ng and Low (2004). As each tag is now composed of a ... candidates. When we derive a candidate result from a word-POS pair p and a candidate q at prior position of p, we cal- culate the scores of the word LM, the POS LM, the labelling pr...

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

... may peruse sentences and their derivations. On this page a user may annotate the patterns and derivations however he or she wishes. All grammar settings and annotations are saved and available ... examining by hand, several thousand sentences from corpora in the CHILDES database in five languages (English, German, Italian, Japanese and Russian), we found that approximately...

Ngày tải lên: 08/03/2014, 04:22

... full advantage of this fact. There is a significant body of research evidence to show that learners who speak more than one language have an increased ability to use and learn language in general. ... spelling, punctuation and grammar. Preparing Producing a final copy suitable for ‘publication’, preferably for a real final copy audience, paying attention to presentation either i...

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