Sciweavers

2061 search results - page 307 / 413
» Measuring Corner Properties
Sort
View
FOSSACS
1999
Springer
15 years 8 months ago
Probabilistic Temporal Logics via the Modal Mu-Calculus
This paper presents a mu-calculus-based modal logic for describing properties of reactive probabilistic labeled transition systems (RPLTSs) and develops a modelchecking algorithm ...
Murali Narasimha, Rance Cleaveland, S. Purushotham...
IWANN
1999
Springer
15 years 8 months ago
Support Vector Machines for Multi-class Classification
Abstract: Support vector machines (SVMs) are primarily designed for 2-class classification problems. Although in several papers it is mentioned that the combination of K SVMs can b...
Eddy Mayoraz, Ethem Alpaydin
ICRA
1998
IEEE
112views Robotics» more  ICRA 1998»
15 years 8 months ago
Model-Based Car Tracking Integrated with a Road-Follower
This paper discusses how we integrated our 3D car tracking approach with the lane following module RALPH on the Navlab autonomous vehicles, obtaining a hybrid vision system that t...
Frank Dellaert, Dean Pomerleau, Charles E. Thorpe
SSD
1999
Springer
197views Database» more  SSD 1999»
15 years 8 months ago
3D Shape Histograms for Similarity Search and Classification in Spatial Databases
Classification is one of the basic tasks of data mining in modern database applications including molecular biology, astronomy, mechanical engineering, medical imaging or meteorolo...
Mihael Ankerst, Gabi Kastenmüller, Hans-Peter...
VISUALIZATION
1998
IEEE
15 years 8 months ago
Constrained optimal framings of curves and surfaces using quaternion Gauss maps
We propose a general paradigm for computing optimal coordinate frame fields that may be exploited to visualize curves and surfaces. Parallel-transport framings, which work well fo...
Andrew J. Hanson