3824 search results - page 230 / 765 » Geometry Constructions Language |
164
click to vote
COMPGEOM
2011
ACM
14 years 8 months ago
2011
ACM
Abstract. We study the grid size that is needed to represent intersection graphs of convex polygons. Here the polygons are similar to a base polygon P whose corners have rational c...
131
click to vote
CPAIOR
2009
Springer
15 years 11 months ago
2009
Springer
An attractive mechanism to specify global constraints in rostering and other domains is via formal languages. For instance, the REGULAR and GRAMMAR constraints specify constraints ...
139
click to vote
DASFAA
1999
IEEE
15 years 8 months ago
1999
IEEE
In this paper we describe the design and implementation of a CORBA Query Service targeted to access data that is defined by the EXPRESS data modeling language. EXPRESS is used pri...
250
click to vote
POPL
2004
ACM
16 years 4 months ago
2004
ACM
We define seal, an untyped call-by-value -calculus with primitives for protecting abstract data by sealing, and develop a bisimulation proof method that is sound and complete with...
117
click to vote
ICFP
2005
ACM
16 years 4 months ago
2005
ACM
MLF is a type system that extends a functional language with impredicative rank-n polymorphism. Type inference remains possible and only in some clearly defined situations, a loca...