11716 search results - page 62 / 2344 » Computable symbolic dynamics |
CASC
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. We describe a symbolic framework for treating linear boundary problems with a generic implementation in the Theorema system. For ordinary differential equations, the ope...
ICPR
2006
IEEE
16 years 29 days ago
2006
IEEE
We present a novel training method for recognizing traffic sign symbols undergoing image degradations. In order to cope with the degradations, it is desirable to use similarly deg...
ACL
2009
14 years 9 months ago
2009
This paper describes a parsing model for speech with repairs that makes a clear separation between linguistically meaningful symbols in the grammar and operations specific to spee...
CHI
2005
ACM
16 years 7 days ago
2005
ACM
SignalPlay is a sensor-based interactive sound environment in which familiar objects encourage exploration and discovery of sound interfaces through the process of play. Embedded ...
ESORICS
2009
Springer
16 years 14 days ago
2009
Springer
We propose a probabilistic contract signing protocol that achieves balance even in the presence of an adversary that may delay messages sent over secure channels. To show that this...