18155 search results - page 3260 / 3631 » Point |
147
click to vote
TGC
2007
Springer
16 years 23 days ago
2007
Springer
Secure information flow analysis aims to prevent programs from leaking their H (high) inputs to their L (low) outputs. A major challenge in this area is to relax the standard noni...
164
click to vote
VMCAI
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. Several verification methods involve reasoning about multi-valued systems, in which an atomic proposition is interpreted at a state as a lattice element, rather than a B...
199
click to vote
WAPCV
2007
Springer
16 years 23 days ago
2007
Springer
One of the first steps of any visual system is that of locating suitable interest points, ‘salient regions’, in the scene, to detect events, and eventually to direct gaze towa...
179
click to vote
WAPCV
2007
Springer
16 years 23 days ago
2007
Springer
It is well known that the brain (especially the cortex) is structurally separable into two hemispheres. Many neuropsychological studies show that the process of ambiguity resoluti...
185
click to vote
WAPCV
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. Most cognitive studies of language acquisition in both natural systems and artificial systems have focused on the role of purely linguistic information as the central co...