3824 search results - page 352 / 765 » Geometry Constructions Language |
144
click to vote
SAC
2009
ACM
15 years 11 months ago
2009
ACM
This paper considers the length-lex domain for set-variables in constraint programming which includes not only membership but also cardinality and lexicographic information. The p...
146
click to vote
WIA
2009
Springer
15 years 11 months ago
2009
Springer
FAdo is an ongoing project which aims to provide a set of tools for symbolic manipulation of formal languages. To allow highlevel programming with complex data structures, easy pro...
132
click to vote
HASKELL
2009
ACM
15 years 11 months ago
2009
ACM
Structured documents are commonly edited using a free-form editor. Even though every string is an acceptable input, it makes sense to maintain a structured representation of the e...
123
click to vote
OOPSLA
2007
Springer
15 years 11 months ago
2007
Springer
Distributed programming has shifted from private networks to the Internet using heterogeneous Web APIs. This enables the creation of situational applications of composed services ...
131
click to vote
OTM
2007
Springer
15 years 11 months ago
2007
Springer
Development of ontology development tools and ontology-enhanced software applications requires thorough understanding of ontology languages in order to implement them according to ...