Sciweavers

716 search results - page 111 / 144
» time 1997
Sort
View
CAIP
1997
Springer
168views Image Analysis» more  CAIP 1997»
14 years 3 months ago
Terrain Reconstruction from Multiple Views
A two-stage approach is discussed for reconstructing a dense digital elevation model DEM of the terrain from multiple pre-calibrated images taken by distinct cameras at di erent ...
Georgy L. Gimel'farb, Robert M. Haralick
CAISE
1997
Springer
14 years 3 months ago
OO-METHOD: An OO Software Production Environment Combining Conventional and Formal Methods
OO-Method is an OO Methodology that blends the use of formal specification systems with conventional OO methodologies based on practice. In contrast to other approaches in this fi...
Oscar Pastor, Emilio Insfrán, Vicente Pelec...
COSIT
1997
Springer
115views GIS» more  COSIT 1997»
14 years 3 months ago
Qualitative Representation of Change
Current geographic information systems (GISs) have been designed for querying and maintaining static databases representing static phenomena and give little support to those users ...
Kathleen Hornsby, Max J. Egenhofer
CP
1997
Springer
14 years 3 months ago
Ordering Constraints over Feature Trees
Feature trees have been used to accommodate records in constraint programming and record like structures in computational linguistics. Feature trees model records, and feature cons...
Martin Müller, Joachim Niehren, Andreas Podel...
EUROPAR
1997
Springer
14 years 3 months ago
Using the Parallel Karatsuba Algorithm for Long Integer Multiplication and Division
We experiment with sequential and parallel versions of the Karatsuba multiplication algorithm implemented under the paclib computer algebra system on a Sequent Symmetry shared-memo...
Tudor Jebelean