18306 search results - page 165 / 3662 » Algorithmics in Exponential Time |
138
click to vote
DATE
2007
IEEE
15 years 11 months ago
2007
IEEE
In this paper we introduce a new algorithm for model order reduction in the presence of parameter or process variation. Our analysis is performed using a graph interpretation of t...
142
click to vote
IROS
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract— Existing penalty-based haptic rendering approaches compute penetration depth in strictly translational sense and cannot properly take object rotation into account. We a...
129
click to vote
NIPS
2007
15 years 6 months ago
2007
We present a simple, agnostic active learning algorithm that works for any hypothesis class of bounded VC dimension, and any data distribution. Our algorithm extends a scheme of C...
ICPR
2002
IEEE
16 years 6 months ago
2002
IEEE
Modeling consistency of style in isogenous fields of patterns (such as character patterns in a word from the same font or writer) can improve classification accuracy. Since such p...
156
click to vote
CADE
2003
Springer
16 years 5 months ago
2003
Springer
Ordinals form the basis for termination proofs in ACL2. Currently, ACL2 uses a rather inefficient representation for the ordinals up to 0 and provides limited support for reasoning...