811 search results - page 54 / 163 » Refactoring Using Type Constraints |
LPNMR
1995
Springer
14 years 7 days ago
1995
Springer
In this paper we propose a logic programming language which supports hypothetical updates together with integrity constraints. The language allows sequences of updates by sets of a...
ETS
2000
IEEE
13 years 8 months ago
2000
IEEE
A significant opportunity presented by the availability of high-speed network access in the classroom is the ability to collaborate with remote students and mentors. To be success...
CONSTRAINTS
2008
13 years 8 months ago
2008
Zinc is a new modelling language developed as part of the G12 project. It has four important characteristics. First, Zinc allows speci cation of models using a natural mathematical...
COLING
2010
13 years 3 months ago
2010
We present in this paper a formal approach for the representation of multimodal information. This approach, thanks to the to use of typed feature structures and hypergraphs, gener...
ACLLAW
2011
13 years 9 days ago
2011
In this paper, we first analyze and classify the empty categories in a Hindi dependency treebank and then identify various discovery procedures to automatically detect the existe...