3824 search results - page 321 / 765 » Geometry Constructions Language |
126
click to vote
CP
2003
Springer
15 years 10 months ago
2003
Springer
In this paper, we propose a new language-independent representation of adhoc constraints, called a box constraint collection. Using constructive disjunction, this representation ac...
152
click to vote
PLILP
1998
Springer
15 years 9 months ago
1998
Springer
Abstract. We address the problem of term normalisation modulo associativecommutative (AC) theories, and describe several techniques for compiling many-to-one AC matching and reduce...
135
click to vote
SAS
1993
Springer
15 years 8 months ago
1993
Springer
A new construction of a finite set of strictness properties for any lazy algebraic datatype is presented. The construction is based on the categorical view of the solutions to the...
147
click to vote
ICSE
1989
IEEE-ACM
15 years 8 months ago
1989
IEEE-ACM
The Inscape Environment is an integrated software development enviroment for building large software systems by large groups of developers. It provides tools that are knowledgeabl...
114
click to vote
LREC
2008
15 years 6 months ago
2008
This paper presents a new corpus project, aiming at building a national corpus of Polish. What makes it different from a typical YACP (Yet Another Corpus Project) is 1) the fact t...