Sciweavers

3824 search results - page 82 / 765
» Geometry Constructions Language
Sort
View
CAGD
2004
141views more  CAGD 2004»
13 years 10 months ago
Almost rotation-minimizing rational parametrization of canal surfaces
Almost rotation minimizing parametrization of the canal surface is given. The basic building block of our approach is the curve approximation scheme that enables us to construct a...
Hyeong In Choi, Song-Hwa Kwon, Nam-Sook Wee
ICFP
1999
ACM
14 years 2 months ago
Type Dispatch for Named Hierarchical Types
Type dispatch constructs are an important feature of many programming languages. Scheme has predicates for testing the runtime type of a value. Java has a class cast expression an...
Neal Glew
POPL
2006
ACM
14 years 10 months ago
A polymorphic modal type system for lisp-like multi-staged languages
This article presents a polymorphic modal type system and its principal type inference algorithm that conservatively extend ML by all of Lisp's staging constructs (the quasi-...
Ik-Soon Kim, Kwangkeun Yi, Cristiano Calcagno
DBPL
1999
Springer
122views Database» more  DBPL 1999»
14 years 2 months ago
A Representation Independent Language for Planar Spatial Databases with Euclidean Distance
Linear constraint databases and query languages are appropriate for spatial database applications. Not only the data model is natural to represent a large portion of spatial data s...
Gabriel M. Kuper, Jianwen Su
DEXAW
2004
IEEE
166views Database» more  DEXAW 2004»
14 years 2 months ago
Dynamic Semantics for a Controlled Natural Language
In this paper I present a dynamic approach for constructing an unambiguous semantic representation for a text written in a controlled natural language called PENG. The semantic re...
Rolf Schwitter