GIAE
14 years 3 months ago
2004 Springer
This paper first gives a brief overview over some interesting descriptions of conic sections, showing formulations in the three geometric algebras of Euclidean spaces, projective ...
METMBS
13 years 11 months ago
2004
Abstract One approach to predict the secondary structure of RNA is the comparative approach. This approach is used when alignment of several homologous sequences of a RNA is availa...
ADG
14 years 3 months ago
2004 Springer
In this paper, we study the problem of reconstructing the polyhedral structures and geometric positions of a general nD polyhedral scene from a single 2D line drawing. With the ide...
GIAE
14 years 3 months ago
2004 Springer
In this paper, we propose the wireframe representation of nD object, which is a single 2D line drawing. A wireframe model of an nD object is composed of a set of edges connecting a...
ISSAC
14 years 3 months ago
2004 Springer
In [17], an abstract framework for automatically generating loop invariants of imperative programs was proposed. This framework was then instantiated for the language of conjuncti...
|