1030 search results - page 195 / 206 » Happenings |
103
click to vote
MSCS
2007
14 years 9 months ago
2007
It is well-known that weakening and contraction cause na¨ıve categorical models of the classical sequent calculus to collapse to Boolean lattices. In previous work, summarized b...
PAMI
2007
14 years 9 months ago
2007
—A novel patch-based correspondence model is presented in this paper. Many segment-based correspondence approaches have been proposed in recent years. Untextured pixels and bound...
172
click to vote
ATC
2010
Springer
14 years 8 months ago
2010
Springer
Co-Space refers to interactive virtual environment modelled after the real world we are situated in. Through realistic 3D modelling and animation technologies, Co-Space simulates t...
CIKM
2010
Springer
14 years 8 months ago
2010
Springer
There is an increasing amount of structure on the Web as a result of modern Web languages, user tagging and annotation, and emerging robust NLP tools. These meaningful, semantic, ...
ICRA
2010
IEEE
14 years 8 months ago
2010
IEEE
— Up to now, mostly blunt human-robot impacts were investigated in the robotics literature. In this context, the influence of robot mass and velocity during rigid impacts with a...