Sciweavers

24451 search results - page 4564 / 4891
» Research methods in information
Sort
View
IAAI
2003
15 years 8 months ago
A Probabilistic Vehicle Diagnostic System Using Multiple Models
In addition to being accurate, it is important that diagnostic systems for use in automobiles also have low development and hardware costs. Model-based methods have shown promise ...
Matthew L. Schwall, J. Christian Gerdes, Bernard B...
IJCAI
2003
15 years 8 months ago
Continuous nonlinear dimensionality reduction by kernel Eigenmaps
We equate nonlinear dimensionality reduction (NLDR) to graph embedding with side information about the vertices, and derive a solution to either problem in the form of a kernel-ba...
Matthew Brand
IJCAI
2003
15 years 8 months ago
Formal Verification of Diagnosability via Symbolic Model Checking
This paper addresses the formal verification of diagnosis systems. We tackle the problem of diagnosability: given a partially observable dynamic system, and a diagnosis system obs...
Alessandro Cimatti, Charles Pecheur, Roberto Cavad...
IJCAI
2003
15 years 8 months ago
LADDER: A Language to Describe Drawing, Display, and Editing in Sketch Recognition
We have created LADDER, the first language to describe how sketched diagrams in a domain are drawn, displayed, and edited. The difficulty in creating such a language is choosing...
Tracy Hammond, Randall Davis
IJCAI
2003
15 years 8 months ago
Does a New Simple Gaussian Weighting Approach Perform Well in Text Categorization?
A new approach to the Text Categorization problem is here presented. It is called Gaussian Weighting and it is a supervised learning algorithm that, during the training phase, est...
Giorgio Maria Di Nunzio, Alessandro Micarelli
« Prev « First page 4564 / 4891 Last » Next »