Sciweavers

9873 search results - page 377 / 1975
» Emergent Semantics Systems
Sort
View
BIRTHDAY
2004
Springer
16 years 6 days ago
Composing Hidden Information Modules over Inclusive Institutions
: This paper studies the composition of modules that can hide information, over a very general class of logical systems called inclusive institutions. Two semantics are given for c...
Joseph A. Goguen, Grigore Rosu
ECOOP
1995
Springer
15 years 10 months ago
Programming as an Experience: The Inspiration for Self
The Self system attempts to integrate intellectual and non-intellectual aspects of programming to create an overall experience. The language semantics, user interface, and implemen...
Randall B. Smith, David Ungar
LREC
2008
102views Education» more  LREC 2008»
15 years 8 months ago
Integrating Lexical Units, Synsets and Ontology in the Cornetto Database
Cornetto is a two-year Stevin project (project number STE05039) in which a lexical semantic database is built that combines Wordnet with Framenet-like information for Dutch. The c...
Piek T. J. M. Vossen, Isa Maks, Roxane Segers, Hen...
ENTCS
2006
114views more  ENTCS 2006»
15 years 6 months ago
Prototyping SOS Meta-theory in Maude
We present a prototype implementation of SOS meta-theory in the Maude term rewriting language. The prototype defines the basic concepts of SOS meta-theory (e.g., transition formul...
Mohammad Reza Mousavi, Michel A. Reniers
CORR
2007
Springer
64views Education» more  CORR 2007»
15 years 6 months ago
Generating models for temporal representations
We discuss the use of model building for temporal representations. We chose Polish to illustrate our discussion because it has an interesting aspectual system, but the points we w...
Patrick Blackburn, Sébastien Hinderer