3824 search results - page 222 / 765 » Geometry Constructions Language |
134
click to vote
ECOOP
2008
Springer
15 years 6 months ago
2008
Springer
The adapter design pattern [1], commonly used for integration and evolution in component-based systems, is originally described by roles. In classbased systems, the conventional re...
135
click to vote
JAR
2010
15 years 2 months ago
2010
Abstract. In this paper we propose an effective procedure for translating a proof term of the Calculus of Inductive Constructions (CIC), which is very similar to a program written...
171
click to vote
DLS
2010
15 years 2 months ago
2010
Dynamic mixin is a construct available in Ruby and other dynamic languages. It can be used as a base to implement a range of programming paradigms, such as dynamic aspectoriented ...
135
click to vote
NAACL
2010
15 years 2 months ago
2010
We describe a cross-lingual method for the induction of selectional preferences for resourcepoor languages, where no accurate monolingual models are available. The method uses bil...
130
click to vote
COMSIS
2010
15 years 1 months ago
2010
Abstract--The paper presents innovative parser construction method and parser generator prototype which generates a computer language parser from a set of annotated classes in cont...