2308 search results - page 46 / 462 » Representing Symbolic Reasoning |
153
click to vote
CAV
1993
Springer
15 years 9 months ago
1993
Springer
Abstract. We describe the implementation, within ALDEBARAN of an algorithmic method allowing the generation of a minimal labeled transition rom an abstract model ; this minimality ...
328
click to vote
ICDAR
2009
IEEE
15 years 3 months ago
2009
IEEE
In this paper we present a novel shape descriptor based on shape context, which in combination with hierarchical distance based hashing is used for word and graphical pattern base...
169
click to vote
PRL
2006
15 years 5 months ago
2006
This paper presents a partitional dynamic clustering method for interval data based on adaptive Hausdorff distances. Dynamic clustering algorithms are iterative two-step relocatio...
140
click to vote
WWW
2007
ACM
16 years 6 months ago
2007
ACM
This paper describes a comprehensive method for presenting mathematical equations and expressions using only pure HTML and CSS. This method renders the equations portable and edit...
169
click to vote
BMVC
1998
15 years 6 months ago
1998
We introduce an object recognition system in which objects are represented as a sparse and spatially organized set of local (bent) line segments. The line segments correspond to b...