5510 search results - page 85 / 1102 » Mathematics |
101
click to vote
ICDAR
2007
IEEE
15 years 9 months ago
2007
IEEE
Recognition of mathematical symbols is a challenging task, with a large set with many similar symbols. We present a support vector machine based hybrid recognition system that use...
124
click to vote
ASPDAC
2006
ACM
15 years 9 months ago
2006
ACM
— Process variations and temperature variations can cause both the frequency and the leakage of the chip to vary significantly from their expected values, thereby decreasing the...
128
click to vote
MKM
2005
Springer
15 years 8 months ago
2005
Springer
In this contribution we address two related questions. Firstly, we want to shed light on the question how to use a representation formalism to represent a given problem. Secondly, ...
133
click to vote
TYPES
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. The prototype of a content based search engine for mathematical knowledge supporting a small set of queries requiring matching and/or typing operations is described. The ...
126
click to vote
AC
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. A mathematical semantics is proposed for the notion of architectural connector, in the style defined by Allen and Garlan, that builds on Goguen’s categorical approach t...