8699 search results - page 169 / 1740 » Elements of the Theory of Computation |
158
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
We consider a new kind of interpretation over relational structures: finite sets interpretations. Those interpretations are defined by weak monadic second-order (WMSO) formulas w...
153
click to vote
AUTOMATICA
2000
15 years 6 months ago
2000
The use of linear quadratic theory in bumpless transfer is discussed and a modification to a similar scheme proposed in [9] is suggested. Formulae are given for a feedback element...
118
click to vote
IHM
2005
ACM
16 years 2 days ago
2005
ACM
The paper presents a novel technique for the exploration of an information space where elements are associated with a taxonomy and where each element has an associated attribute v...
194
click to vote
GRAPHICSINTERFACE
2004
15 years 8 months ago
2004
In this paper we present a fast and robust approach for simulating elasto-plastic materials and fracture in real time. Our method extends the warped stiffness finite element appro...
153
click to vote
JSCIC
2007
15 years 6 months ago
2007
In this paper, we examine some computational issues on finite element discretization of the p-Laplacian. We introduced a class of descent methods with multi-grid finite element ...