Sciweavers

3311 search results - page 89 / 663
» Deductive Object Programming
Sort
View
KI
1994
Springer
15 years 4 months ago
Combining Spatial and Terminological Reasoning
The paper presentsa method for terminological reasoningabout spatial objects on the basis of a KL-ONE-like framework (LOOM). We apply this method to the domain of deductive geograp...
Volker Haarslev, Ralf Möller, Carsten Schr&ou...
MVA
1992
131views Computer Vision» more  MVA 1992»
15 years 1 months ago
A New Perceptual Approach to Noisy X-Ray Image Segmentation
Thls paper proposes a new perceptual approach to noisy X-ray image segmentation. It consistsof the five major step :(1)Pre -segmentation, (2)Improved region growing, (3 ) Object de...
Jian-qin Liu, Nanning Zheng, Xudong Guan
CI
2002
102views more  CI 2002»
14 years 11 months ago
Topological Spatio-Temporal Reasoning and Representation
We present here a theory of motion from a topological point of view, in a symbolic perspective. Taking space-time histories of objects as primitive entities, we introduce temporal...
Philippe Muller
SAC
2010
ACM
14 years 6 months ago
Similar triangles and orientation in plane elementary geometry for Coq-based proofs
In plane elementary geometry, the concept of similar triangles not only forms an important foundation for trigonometry, but it also can be used to solve many geometric problems. T...
Tuan Minh Pham
ECOOP
1995
Springer
15 years 3 months ago
Do Object-Oriented Languages Need Special Hardware Support?
Previous studies have shown that object-oriented programs have different execution characteristics than procedural programs, and that special object-oriented hardware can improve p...
Urs Hölzle, David Ungar