644 search results - page 3 / 129 » A topological characterization of weakness |
CSL
2005
Springer
15 years 3 months ago
2005
Springer
We study computability on sequence spaces, as they are used in functional analysis. It is known that non-separable normed spaces cannot be admissibly represented on Turing machines...
FCT
2007
Springer
15 years 3 months ago
2007
Springer
We show that the family of tree languages recognized by weak alternating automata is closed by three set theoretic operations that correspond to sum, multiplication by ordinals <...
IVC
2008
14 years 9 months ago
2008
A novel mathematical framework inspired on Morse Theory for topological triangle characterization in 2D meshes is introduced that is useful for applications involving the creation...
LICS
2008
IEEE
15 years 3 months ago
2008
IEEE
IJCAI
1997
14 years 10 months ago
1997
cal maps provide a useful abstraction for robotic navigation and planning. Although stochastic mapscan theoreticallybe learned using the Baum-Welch algorithm,without strong prior ...