3824 search results - page 137 / 765 » Geometry Constructions Language |
GPCE
2008
Springer
13 years 12 months ago
2008
Springer
High-level query constructs help greatly improve the clarity of programs and the productivity of programmers, and are being introduced to increasingly more languages. However, the...
BIRTHDAY
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. The logical and operational aspects of rewriting logic as a logical framework are tested and illustrated in detail by representing pure type systems as object logics. Mor...
ICFP
2005
ACM
14 years 10 months ago
2005
ACM
We present a new approach to the old problem of adding side effects to purely functional languages. Our idea is to extend the language with "witnesses," which is based o...
IJCNLP
2005
Springer
14 years 4 months ago
2005
Springer
Corpus-based stochastic language models have achieved significant success in speech recognition, but construction of a corpus pertaining to a specific application is a difficult ta...
ICCV
2005
IEEE
15 years 22 days ago
2005
IEEE
The geometry of plane-based calibration methods is well understood, but some user interaction is often needed in practice for feature detection. This paper presents a fully automa...