3824 search results - page 137 / 765 » Geometry Constructions Language |
96
Voted
GPCE
2008
Springer
15 years 1 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...
114
Voted
BIRTHDAY
2004
Springer
15 years 6 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...
84
Voted
ICFP
2005
ACM
16 years 18 days 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...
98
Voted
IJCNLP
2005
Springer
15 years 6 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...
103
Voted
ICCV
2005
IEEE
16 years 2 months 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...