4902 search results - page 372 / 981 » Structures, Semantics and Statistics |
161
Voted
CORR
2010
Springer
15 years 6 months ago
2010
Springer
We present Classical BI (CBI), a new addition to the family of bunched logics which originates in O'Hearn and Pym's logic of bunched implications BI. CBI differs from exi...
221
click to vote
CG
2007
Springer
15 years 6 months ago
2007
Springer
Tasks in visual analytics differ from typical information retrieval tasks in fundamental ways. A critical part of a visual analytics is to ask the right questions when dealing wit...
183
click to vote
CIKM
2010
Springer
15 years 5 months ago
2010
Springer
We explore the application of a graph representation to model similarity relationships that exist among images found on the Web. The resulting similarity-induced graph allows us t...
153
click to vote
CRV
2008
IEEE
16 years 1 months ago
2008
IEEE
The human visual system is often able to recognize shading patterns and to discriminate them from surface reflectance patterns. To understand how this ability is possible, we inv...
174
click to vote
ICPR
2002
IEEE
15 years 11 months ago
2002
IEEE
The proposed shape descriptor is based on the beams originated from a boundary point, which are defined as lines connecting that point with the rest of the points on the boundary....