3690 search results - page 461 / 738 » Computation with classical sequents |
173
click to vote
PERVASIVE
2007
Springer
16 years 26 days ago
2007
Springer
We take two paradigms for information systems development, functionalism and social relativism, and apply their assumptions to the evaluation of ambient information systems. Ambie...
183
click to vote
WAPCV
2007
Springer
16 years 25 days ago
2007
Springer
We present an experimental comparison of the performance of representative saliency detectors from three guiding principles for the detection of salient image locations: locations...
156
click to vote
3DPVT
2006
IEEE
16 years 24 days ago
2006
IEEE
This paper demonstrates that, for axial non-central optical systems, the equation of a 3D line can be estimated using only four points extracted from a single image of the line. T...
172
click to vote
CVPR
2006
IEEE
16 years 24 days ago
2006
IEEE
In multi-target tracking, the maintaining of the correct identity of targets is challenging. In the presented tracking method, accurate target identification is achieved by incor...
186
click to vote
ESCIENCE
2006
IEEE
16 years 24 days ago
2006
IEEE
— The ability to use a visualisation tool to steer large simulations provides innovative and novel usage scenarios, eg the ability to use new algorithms for the computation of fr...