300 search results - page 25 / 60 » Syntactic Monoids in a Category |
WWW
2007
ACM
15 years 11 months ago
2007
ACM
The ability to extract meaningful fragments from an ontology is key for ontology re-use. We propose a definition of a module that guarantees to completely capture the meaning of a...
SIGDOC
2004
ACM
15 years 4 months ago
2004
ACM
We analyzed texts from years 1800-2004 from the Philosophical Transactions of the Royal Society of London. Two-thousand-word sections from about 20 articles published at 25-year i...
175
click to vote
POPL
2009
ACM
15 years 11 months ago
2009
ACM
A bidirectional transformation consists of a function get that takes a source (document or value) to a view and a function put that takes an updated view and the original source b...
103
click to vote
FLOPS
2004
Springer
15 years 4 months ago
2004
Springer
We propose a semantic framework for modelling the linear usage of continuations in typed call-by-name programming languages. On the semantic side, we introduce a construction for c...
ACL
2008
15 years 2 days ago
2008
In lexicalized grammatical formalisms, it is possible to separate lexical category assignment from the combinatory processes that make use of such categories, such as parsing and ...