8669 search results - page 231 / 1734 » Computing matrix representations |
71
Voted
CVPR
2000
IEEE
15 years 6 months ago
2000
IEEE
Many communicative behaviors in the animal kingdom consist of performing and recognizing specialized patterns of oscillatory motion. Here we present an approach to the representat...
109
click to vote
DAC
1999
ACM
15 years 6 months ago
1999
ACM
Abstract We describe the use of parametric representations of Boolean predicates to encode data-space constraints and signi cantly extend the capacity of formal veri cation. The co...
125
click to vote
ECAI
1998
Springer
15 years 6 months ago
1998
Springer
We propose a computational model for analogy solving based on a topological formalism of representation. The source and the target analogs are represented as simplexes and the anal...
117
click to vote
CSC
2006
15 years 3 months ago
2006
- Symmetric level-index arithmetic was introduced to overcome the problems of overflow and underflow in scientific computations. A hybrid SLI-FLP number system, together with some ...
130
Voted
BMVC
1998
15 years 3 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...