2308 search results - page 45 / 462 » Representing Symbolic Reasoning |
149
Voted
TASLP
2008
15 years 5 months ago
2008
Finding a piece of music based on its content is a key problem in music information retrieval. For example, a user may be interested in finding music based on knowledge of only a s...
163
click to vote
DISCO
1992
15 years 9 months ago
1992
We introduce an algebraic model of computation which is especially useful for the description of computations in analysis. On one level the model allows the representation of alge...
144
click to vote
FATES
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. The starting point for Model-Based Testing is an implementation relation that formally defines when a formal model representing the System Under Test conforms to a formal...
193
click to vote
PKDD
2010
Springer
15 years 3 months ago
2010
Springer
As an alternative to vector representations, a recent trend in image classification suggests to integrate additional structural information in the description of images in order to...
150
click to vote
DATE
2003
IEEE
15 years 10 months ago
2003
IEEE
A new method is presented to model symbolically strongly nonlinear circuits, characterized by Piece-Wise Linear (PWL) functions. The method follows the idea of Bokhoven and Leenae...