Sciweavers

5924 search results - page 710 / 1185
» Normal Process Representatives
Sort
View
CG
2002
Springer
15 years 7 months ago
BRDC: binary representation of displacement code for line
: In raster graphics, a line is displayed as a sequence of connected pixels that best approximate the line with minimum deviation. The displacement code of a line is a sequence of ...
Lanfang Miao, Xinguo Liu, Qunsheng Peng, Hujun Bao
COLING
2002
15 years 7 months ago
Varying Cardinality in Metonymic Extensions to Nouns
Meaning shifting phenomena such as metonymy have recently attracted increasing interest of researchers. Though these phenomena have been addressed by plenty of computational metho...
Helmut Horacek
CSL
2002
Springer
15 years 7 months ago
Open Proofs and Open Terms: A Basis for Interactive Logic
In the process of interactive theorem proving one often works with incomplete higher order proofs. In this paper we address the problem of giving a correctness criterion for these ...
Herman Geuvers, Gueorgui I. Jojgov
GIS
2002
ACM
15 years 7 months ago
Characterisation and generalisation of cartographic lines using Delaunay triangulation
A method is presented for generalising cartographic lines using an approach based on determination of their structure. Constrained Delaunay triangulation is used to construct a ske...
P. M. van der Poorten, Christopher B. Jones
IJCV
2002
156views more  IJCV 2002»
15 years 7 months ago
Trinocular Stereo Using Shortest Paths and the Ordering Constraint
This paper describes a new algorithm for disparity estimation using trinocular stereo. The three cameras are placed in a right angled configuration. A graph is then constructed wh...
Motilal Agrawal