8699 search results - page 169 / 1740 » Elements of the Theory of Computation |
CORR
2007
Springer
14 years 11 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...
AUTOMATICA
2000
14 years 11 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...
IHM
2005
ACM
15 years 5 months 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...
111
click to vote
GRAPHICSINTERFACE
2004
15 years 1 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...
JSCIC
2007
14 years 11 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 ...