2286 search results - page 277 / 458 » Algorithms for Categorical Equivalence |
157
click to vote
HYBRID
2005
Springer
16 years 5 days ago
2005
Springer
Under standard Lipschitz conditions, trajectories of systems described by ordinary differential equations are well defined in both forward and reverse time. (The flow map is inv...
161
click to vote
MFCS
2005
Springer
16 years 4 days ago
2005
Springer
Systems of language equations of the form {ϕ(X1, . . . , Xn) = ∅, ψ(X1, . . . , Xn) = ∅} are studied, where ϕ, ψ may contain set-theoretic operations and concatenation; the...
181
click to vote
OTM
2005
Springer
16 years 4 days ago
2005
Springer
We view match as an operator that takes two graph-like structures (e.g., XML schemas) and produces a mapping between the nodes of these graphs that correspond semantically to each ...
166
click to vote
PPDP
2005
Springer
16 years 3 days ago
2005
Springer
We study contexts (terms with holes) by proposing a ‘λcalculus with holes’. It is very expressive and can encode programming constructs apparently unrelated to contexts, incl...
160
click to vote
SCALESPACE
2005
Springer
16 years 3 days ago
2005
Springer
We study the connection between higher order total variation (TV) regularization and support vector regression (SVR) with spline kernels in a one-dimensional discrete setting. We p...