Sciweavers

4463 search results - page 368 / 893
» computing 2000
Sort
View
SARA
2000
Springer
15 years 10 months ago
Improving the Efficiency of Reasoning Through Structure-Based Reformulation
We investigate the possibility of improving the efficiency of reasoning through structure-based partitioning of logical theories, combined with partitionbased logical reasoning str...
Eyal Amir, Sheila A. McIlraith
SSPR
2000
Springer
15 years 10 months ago
A New Approximation Method of the Quadratic Discriminant Function
Abstract. For many statistical pattern recognition methods, distributions of sample vectors are assumed to be normal, and the quadratic discriminant function derived from the proba...
Shinichiro Omachi, Fang Sun, Hirotomo Aso
WSC
2000
15 years 8 months ago
Hybrid-system simulation for National Airspace System safety analysis
Analysis of large, complex systems requires simulations of hybrid-system dynamics, i.e., dynamics which are best described by a combination of continuous-time and discrete-event m...
Amy R. Pritchett, Seungman Lee, David Huang, David...
ICPR
2000
IEEE
15 years 11 months ago
Rubber Band Algorithm for Estimating the Length of Digitized Space-Curves
We consider simple digital curves in a 3D orthogonal grid as special polyhedrally bounded sets. These digital curves model digitized curves or arcs in three-dimensional euclidean ...
Thomas Bülow, Reinhard Klette
ICPR
2000
IEEE
15 years 11 months ago
Face Detection Based on Generic Local Descriptors and Spatial Constraints
In this paper we present an algorithm for face detection that is based on generic local descriptors (e.g. eyes). A generic descriptor captures the distribution of individual descr...
Veronika Vogelhuber, Cordelia Schmid