677 search results - page 26 / 136 » Dependent Types from Counterexamples |
IJAC
2006
14 years 9 months ago
2006
It has been conjectured that in a braid group, or more generally in a Garside group, applying any sequence of monotone equivalences and word reversings can increase the length of a...
85
Voted
LREC
2010
14 years 11 months ago
2010
In this paper describes the effects of the evolution of an Italian dependency grammar on a task of multilingual FrameNet acquisition. The task is based on the creation of virtual ...
87
Voted
APLAS
2007
ACM
15 years 1 months ago
2007
ACM
We have built the first family of tagless interpretations for a higher-order typed object language in a typed metalanguage (Haskell or ML) that require no dependent types, general...
AGTIVE
2007
Springer
15 years 3 months ago
2007
Springer
In collaborative ontology engineering, contexts are key to manage the complexity of different dependency types between ontological artefacts. Instead of being frustrated by out-of...
BPM
2006
Springer
15 years 1 months ago
2006
Springer
Composition languages like BPEL and many enactment tools only support structured process models, while most composition approaches only consider unstructured models. In this paper,...