2308 search results - page 211 / 462 » Categorial Semantics For LFG |
161
click to vote
JUCS
2008
15 years 6 months ago
2008
: This paper describes the process of translating an adaptive sequencing strategy designed using Sequencing Graphs to the semantics of IMS Learning Design. The relevance of this co...
202
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
We address the problem of integrating objects from a source taxonomy into a master taxonomy. This problem is not only currently pervasive on the web, but also important to the eme...
293
click to vote
POPL
2006
ACM
16 years 6 months ago
2006
ACM
Functional programmers often reason about programs as if they were written in a total language, expecting the results to carry over to non-total (partial) languages. We justify su...
210
click to vote
KDD
2005
ACM
16 years 7 months ago
2005
ACM
Web users display their preferences implicitly by navigating through a sequence of pages or by providing numeric ratings to some items. Web usage mining techniques are used to ext...
272
click to vote
POPL
2008
ACM
16 years 6 months ago
2008
ACM
GADTs are at the cutting edge of functional programming and become more widely used every day. Nevertheless, the semantic foundations underlying GADTs are not well understood. In ...