555 search results - page 7 / 111 » Between Symbol and Language-in-use |
GFKL
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Knowledge Discovery in time series usually requires symbolic time series. Many discretization methods that convert numeric time series to symbolic time series ignore the ...
DATE
2004
IEEE
13 years 11 months ago
2004
IEEE
In this paper, we provide a flexible and automatic method to partition the functional space for efficient symbolic simulation. We utilize a 2-tuple list representation as the basi...
LPAR
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. We present ABC, a software tool for automatically computing symbolic upper bounds on the number of iterations of nested program loops. The system combines static analysis...
CAI
2006
Springer
13 years 7 months ago
2006
Springer
CBR systems solve problems by assessing their similarity with already solved problems (cases). Explanation of a CBR system prediction usually consists of showing the user the set o...
CG
2005
Springer
13 years 7 months ago
2005
Springer
We describe a trainable, hand-drawn symbol recognizer based on a multi-layer recognition scheme. Symbols are internally represented as binary templates. An ensemble of four differ...