1061 search results - page 151 / 213 » Co-authoring with structured annotations |
PLILP
1995
Springer
15 years 3 months ago
1995
Springer
We use Girard's linear logic (LL) to produce a semantics for Gamma, a multiset transformation language. The semantics improves on the existing structured operational semantics...
101
click to vote
LREC
2010
15 years 29 days ago
2010
In ontology learning from texts, we have ontology-rich domains where we have large structured domain knowledge repositories or we have large general corpora with large general str...
90
Voted
VAMOS
2010
Springer
15 years 29 days ago
2010
Springer
Revision control systems are a major means to manage versions and variants of today's software systems. An ongoing problem in these systems is how to resolve conflicts when me...
LREC
2008
15 years 29 days ago
2008
ProPOSEL is a prototype prosody and PoS (part-of-speech) English lexicon for Language Engineering, derived from the following language resources: the computer-usable dictionary CU...
INTERACT
2007
15 years 29 days ago
2007
This paper describes a novel browsing paradigm, taking benefit of the various types of links (e.g. thematic, temporal, references, etc.) that can be automatically built between mul...