Sciweavers

102 search results - page 12 / 21
» Semantically Restricted Argument Dependencies
Sort
View
NAACL
1994
15 years 6 months ago
Building Japanese-English Dictionary based on Ontology for Machine Translation
This paper describes a semi-automatic method for associating a Japanese lexicon with a semantic concept taxonomy called an ontology, using a Japanese-English bilingual dictionary ...
Akitoshi Okumura, Eduard H. Hovy
CORR
2008
Springer
137views Education» more  CORR 2008»
15 years 5 months ago
Combining generic judgments with recursive definitions
Many semantical aspects of programming languages are specified through calculi for constructing proofs: consider, for example, the specification of structured operational semantic...
Andrew Gacek, Dale Miller, Gopalan Nadathur
AMSTERDAM
2009
15 years 3 months ago
The Semantics of Count Nouns
This paper offers an account of the semantics of count nous. I show that neither the atomic/nonatomic distinction nor the homogeneous/non-homogeneous distinction is sufficient to ...
Susan Rothstein
POPL
2010
ACM
16 years 3 months ago
Nominal System T
This paper introduces a new recursion principle for inductive data modulo -equivalence of bound names. It makes use of Oderskystyle local names when recursing over bound names. It...
Andrew M. Pitts
CAISE
2007
Springer
15 years 9 months ago
Formalization and Verification of EPCs with OR-Joins Based on State and Context
The semantics of the OR-join in business process modeling languages like EPCs or YAWL have been discussed for a while. Still, the existing solutions suffer from at least one of two...
Jan Mendling, Wil M. P. van der Aalst