2308 search results - page 156 / 462 » Representing Symbolic Reasoning |
175
click to vote
ISRR
2005
Springer
15 years 12 months ago
2005
Springer
ys when planning meant searching for a sequence of abstract actions that satisfied some symbolic predicate. Robots can now learn their own representations through statistical infe...
186
click to vote
LICS
2008
IEEE
16 years 26 days ago
2008
IEEE
Collapsible pushdown automata (CPDA) are a new kind of higher-order pushdown automata in which every symbol in the stack has a link to a stack situated somewhere below it. In addi...
167
click to vote
ICIP
1998
IEEE
16 years 8 months ago
1998
IEEE
The lossless entropy coding used in many image coding schemes often is overlooked as most research is based around the lossy stages of image compression. This paper examines the r...
139
click to vote
WWW
2001
ACM
16 years 7 months ago
2001
ACM
We present a new transcoding technique for WWW navigation on small display devices: hierarchical atomic navigation (HANd). Unlike previous techniques, HANd shows all original info...
273
click to vote
CP
2009
Springer
16 years 7 months ago
2009
Springer
Equidistant Frequency Permutation Arrays are combinatorial objects of interest in coding theory. A frequency permutation array is a type of constant composition code in which each ...