1996 search results - page 108 / 400 » A decision procedure for linear |
142
click to vote
ICALP
2001
Springer
15 years 10 months ago
2001
Springer
We give simple algorithms for the construction of generator matrices for minimal tail-biting trellises for a powerful and practical subclass of the linear cyclic codes, from which ...
167
click to vote
HYBRID
2000
Springer
15 years 10 months ago
2000
Springer
This paper studies the existence of solutions to a class of hybrid automata in which the underlying continuous dynamics are represented by inhomogeneous linear time-invariant syste...
203
click to vote
AUTOMATICA
2004
15 years 6 months ago
2004
The purpose of this note is to introduce an alternative procedure to the mode acceleration method when the underlying structure model includes damping. We will show that the probl...
218
click to vote
RTAS
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper introduces FARA, a framework that provides abstractions and mechanisms for building integrated adaptation and resource allocation services in complex real-time systems....
194
click to vote
IJCAI
1993
15 years 7 months ago
1993
While decision trees have been used primarily for classification, they can also model regression or function approximation. Like classification trees, regression trees often yield...