678 search results - page 85 / 136 » The Theory of Weak Stabilization |
CORR
2010
Springer
13 years 6 months ago
2010
Springer
Mixed finite element methods solve a PDE using two or more variables. The theory of Discrete Exterior Calculus explains why the degrees of freedom associated to the different varia...
ICPR
2006
IEEE
14 years 10 months ago
2006
IEEE
This paper presents a fast and efficient method to determine intervertebral disk orientation in a magnetic resonance (MR) image of the spine. The algorithm originates from active ...
FOSSACS
2009
Springer
14 years 3 months ago
2009
Springer
Behavioral theory for higher-order process calculi is less well developed than for first-order ones such as the π-calculus. In particular, effective coinductive characterization...
CALCO
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Coalgebra automata, introduced by the second author, generalize the well-known automata that operate on infinite words/streams, trees, graphs or transition systems. This...
COST
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Existing face recognition techniques struggle with their performance when identities have to be determined (recognized) based on image data captured under challenging ill...