5130 search results - page 332 / 1026 » Constraint Query Languages |
160
click to vote
FASE
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. The Object Constraint Language OCL offers a formal notation for constraining the modelling elements occurring in UML diagrams. In this paper we apply OCL for developing ...
182
click to vote
ENTCS
2010
15 years 6 months ago
2010
This paper describes the semantics of a timed, resource-constrained extension of the Creol modeling language. Creol is an object-oriented modeling language with a design that is s...
165
click to vote
ESOP
1994
Springer
15 years 10 months ago
1994
Springer
Abstract. We convert, via a version that uses constraints, a type inference system for strictness analysis into an algorithm which given an expression finds the set of possible typ...
168
click to vote
NAACL
2007
15 years 8 months ago
2007
Dependency analysis of natural language gives rise to non-projective structures. The constraint of well-nestedness on dependency trees has been recently shown to give a good fit ...
160
click to vote
EACL
2003
ACL Anthology
15 years 8 months ago
2003
ACL Anthology
CLaRK is an XML-based software system for corpora development. It incorporates several technologies: XML technology; Unicode; Regular Cascaded Grammars; Constraints over XML Docum...