towards a rewriting logic semantics for atl
Tài liệu Towards a conceptual reference model for project management information systems ppt
Ngày tải lên :
18/02/2014, 07:20
... outlined
above by introducing a very fundamental data structure
called Initiative (Fig. 3). An initiative is a generalization
of any form of action that has a defined start and end date
and is unde rtaken ... rtaken to reach a goal. Therefore, an initiative
may be a program, a project, a sub-project, a pro ject phase,
a work package, an activity or a task (indicated by the
inheritance relationship between ... Their feasibility, profitability, and strategic impact
are analyzed so that a final decision can be made regard-
ing their implementation (Idea Evaluation). This phase
ends with a formal go/no-go...
- 12
- 720
- 0
Tài liệu Báo cáo khoa học: "TOWARDS A DICTIONARY SUPPORT ENVIRONMENT FOR REAL TIME PARSING" potx
Ngày tải lên :
22/02/2014, 09: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 Translation', ... system',
IBM Systems Journal, vol.21, 305-
326
Kaplan, R. and Bresnan, J.(1982) 'Lexical-Functional
Grammar: A Formal System for Grammatical
Representation' in J.Bresnan (dd.),...
- 8
- 393
- 0
Báo cáo khoa học: "Towards A Modular Data Model For Multi-Layer Annotated Corpora" docx
Ngày tải lên :
17/03/2014, 04:20
... XQuery for XML or SQL for rela-
tional databases. But these complicate query for-
mulating because they are tailored to query a low
level data storage model rather than a high level
annotation data ... data model for PACE-Ling
(Sec. 2.2). The ultimate goal of our research is to
create a modular extensible data model for multi-
layer annotated corpora. To achieve this, we aim
to create a data ... XML data, such as
XPath, XQuery and XSchema and where neces-
sary trying to extend them, instead of creating a
new data model from scratch. For the annotational
tiers, as LPath has shown, a good...
- 8
- 337
- 0
Báo cáo khoa học: "Towards a Cognitively Plausible Model for Quantification" docx
Ngày tải lên :
17/03/2014, 09:20
... same meaning regardless of
the
context
(Forbes, 1989). In such a framework, all natural
language quantifiers have their meaning grounded in
terms of two logical operators: V (for all), and ... USA
and
Carelton University, School of Computer Science
Ottawa, Ontario, KIS-5B6 CANADA
walid@eagle.hr.att.com
Abstract
The purpose of this paper is to suggest that
quantifiers in natural ... (1994), From Inheritance Relation to Non-
Axiomatic Logic, International Journal of Approximate
Reasoning, (accepted June 1994 - to appear).
Zeevat, H. (1989). A Compositional Approach to
Discourse...
- 3
- 237
- 0
Báo cáo khoa học: "Towards a Resource for Lexical Semantics: A Large German Corpus with Extensive Semantic Annotation" pot
Ngày tải lên :
17/03/2014, 06:20
... Semantic Annotation
Katrin Erk and Andrea Kowalski and Sebastian Pad
´
o and Manfred Pinkal
Department of Computational Linguistics
Saarland University
Saarbr¨ucken, Germany
{erk, kowalski, pado, ... desirable.
FrameNet as a resource for semantic role an-
notation. Above, we have asked about the suitabil-
ity of FrameNet for semantic role annotation, and
our data allow a first, though tentative, ... suit-
able resource as annotation basis. FrameNet roles,
which are local to particular frames (abstract sit-
uations), may be better suited for the annotation
task than the “classical” thematic...
- 8
- 407
- 0
Towards a combined product - process approach TO DEVELOPING BUSINESS CORRESPONDENCE WRITING SKILLS FOR ENGLISH MAJORS IN HAIPHONG UNIVERSITY
Ngày tải lên :
07/11/2012, 14:31
... will have a clear idea about the organization of a particular text. And what’s more,
the Product Approach understands that imitation is one way in which people learn. It has
contributed greatly ... as Product Approach, Process Approach and Genre Approach were reviewed and
their advantages and drawbacks were drawn out so that suitable writing techniques can be
picked up and inappropriate ... INPUT → PARALLEL TEXT
The use of models for text analysis and as a basis for thinking about the purposes and
readership of a text can, however, have an important role to play in teaching writing....
- 38
- 933
- 2
Tài liệu Báo cáo khoa học: Progress for dengue virus diseases Towards the NS2B–NS3pro inhibition for a therapeutic-based approach ppt
Ngày tải lên :
19/02/2014, 00:20
... disease plays a key
role in inducing plasma leakage, shock and hemorrhagic manifestations.
Currently, there are no vaccines available against dengue virus, although
several tetravalent live-attenuated ... World Health Organization, updated February 2006.
Type of vaccine
Pharmaceutical
company or
research group
Status of
development
Live attenuated tetravalent vaccine Sanofi-Pasteur ⁄ Mahidol Phase ... mutant US Food and Drug Administration Preclinical
Tetravalent E-NS1 fusion protein subunit Hawaii Biotech Preclinical
DNA and recombinant
modified vaccinia Ankara
National Institute of Health...
- 17
- 462
- 0
Tài liệu Towards a framework for the study of the neural correlates of aesthetic preference pdf
Ngày tải lên :
19/02/2014, 17:20
... (2004); K & Z: Kawabata and Zeki (2004); C-C et al: Cela-Conde and
colleagues (2004).
382 M. Nadal et al.
the neuroanatomical correlates of aesthetic preference for paintings” (Vartanian and
Goel, ... (dorsolateral), Kawabata and Zeki (2004)
(orbitofrontal) and Vartanian and Goel (2004) (anterior cingulate) was associated
with positive ratings. Additionally, in the study by Cela-Conde et al. ... obtained by Kawabata and Zeki (2004), let us recall they
found that stimuli rated as beautiful were associated with an increased activity in
the orbitofrontal cortex, as Chatterjee (2003) had...
- 19
- 526
- 0
Tài liệu Báo cáo khoa học: "A LOGICAL SEMANTICS FOR FEATURE STRUCTURES" pdf
Ngày tải lên :
21/02/2014, 20:20
... definition of this logic.
4 A Logical Semantics
As Pereira and Shieber [11] have pointed out, a
grammatical formalism can be regarded in a way
similar to other representation languages. Often
it ... formula.
These two forms may be regarded as notational
variants for expressing the same facts. While fea-
ture matrices seem to be a more appealing and
natural notation for displaying linguistic ... The labels of attributes bear a superficial
resemblance to modal operators. Note that no
information is added or subtracted by rewriting
the feature matrix of Figure 1 as a logical formula....
- 10
- 421
- 0
Tài liệu Báo cáo khoa học: "TOWARDS A CORE VOCABULARY FOR SYSTEM A NATURAL LANGUAGE" potx
Ngày tải lên :
22/02/2014, 10:20
... here
allows for a balanced extension of this very smaU
core. The list//3 was chosen as the statistical core
vocabulary serving as a base for applying se-
mantic criteria, becat, se the overall ... claim that one can achieve a fixed point from
where on no new words are added to tim set, and
that at this moment one has reached a rather
good approximation to a semantic core vocabu-
lary. ... vocabulary which is needed for handl-
ing any subject domain. 'llfis assumpti(m is also
shared by many researchers, and it tmdcrlies the
production of basic vocabularies for language...
- 3
- 409
- 0
Báo cáo khoa học: "A Compositional Semantics for Focusing Subjuncts" doc
Ngày tải lên :
08/03/2014, 18:20
... compositional. In addition,
using a composition semantics in semantic interpre-
tation has numerous computational advantages.
The particular incarnation of a compositional se-
mantics that serves as ...
tiklm, Kaarlo Jaakko Juhani, Moravcsik, Julius
Matthew Emil, and Suppes, Patrick Colonel, edi-
tors, Approaches to Natural Language: Proceedings
of the 1970 Stanford workshop on grammar and se- ... A- expressions would make the
frame representation language less tractable.
3 Details of the semantics
3.1 Semantic features
Three semantic objects are computed for and at-
tached to each syntactic constituent,...
- 8
- 304
- 0
Báo cáo khoa học: "A Descriptive Framework for Translating Speaker''''s Meaning Towards a Dialogue Translation System between Japanese and English" pot
Ngày tải lên :
09/03/2014, 01:20
... information absent
in surface utterances such as zero anaphora are
compensated for and in some cases multiple
analyses are disambiguated. (3-3), the surface
analysis of (3-2), is analyzed as ... diagrams an overview of the
procedure for translating speaker's meaning. In
contrast to a conventional machine translation
procedure, speaker's meaning can be analyzed
and generated, ... syntactically by means of predicate-
internal collocation, adjunction, tense, and modal
information. An IFT-Schema consists of a goal
whose value is a partial description of a deep IFT,
and a...
- 8
- 329
- 0
Báo cáo khoa học: Optimization of D-amino acid oxidase for low substrate concentrations – towards a cancer enzyme therapy pdf
Ngày tải lên :
16/03/2014, 02:20
... approach, one DAAO
mutant was identified that has increased activity at low O
2
and d-Ala con-
centrations and a 10-fold lower K
m
for O
2
. We report on the mechanism of
this DAAO variant and on its ... lm)O
2
reveals striking
differences: thus, whereas at air saturation the time
profiles that reflect O
2
consumption are essentially the
same for wt-DAAO and m-DAAO, at 73 lm O
2
m-DAAO consumes the available ... small
[21]. The parameters obtained from steady-state
measurements at [O
2
] = 0.305 mm (Table 1) show
that, whereas k
cat
for m-DAAO is smaller than for
wt-DAAO, its O
2
affinity is significantly...
- 12
- 413
- 0
Báo cáo khoa học: "A PARAMETERIZED APPROACH TO INTEGRATING ASPECT WITH LEXICAL-SEMANTICS FOR MACHINE TRANSLATION" doc
Ngày tải lên :
17/03/2014, 08:20
...
facing
(ACC ACT)
asking
(ACC ACT)
made
(ACC)
drove
~ACC ACT)
welcome
(STA ACC ACT ACH)
emphasized
(STA ACC ACT ACH)
thanked
(ACC ACT STA)
staged
(ACC)
make
(ACC)
continue
~ACC ... is an acceptable translation
for (7)0). However, the same is not true of (7)(it): 7
(9) (i) Juan
habfa ido
a la tienda euando Maria lleg6.
(it) Juan habia ido a la tienda al Ilegar Maria. ...
ensure
(STA ACC ACT ACH)
act
( ACT
ACC)
carry
(ACC)
exercise
(ACC)
impose
(STA ACC ACT ACH)
contain
~STA ACC ACT ACH)
infuriate
(ACC ACT)
Figure 9: Aspectual Classification Results...
- 8
- 441
- 0
Báo cáo khoa học: "A LOGICAL SEMANTICS FOR NONMONOTONIC SORTS" pptx
Ngày tải lên :
17/03/2014, 09:20
... that set.
Formally, we encode our logic as an information
system (Scott 1982). An information system (IS)
is a triple (A,
C,
b) where A is a countable set of
"atoms," Cis a class ... sorts. They are simi-
lar to theorems proved in (Delgrande and Jackson
1991): inconsistent defaults are never applicable;
while necessary ones are always applicable. The
last part allows for strengthening ... LOGICAL SEMANTICS
FOR NONMONOTONIC SORTS
Abstract
Suppose we have a feature system, and we wish
to add default values in a well-defined way. We
might start with Kasper-Rounds logic, and use...
- 7
- 266
- 0
