Sciweavers

3188 search results - page 442 / 638
» The Importance of Interaction in Sonification
Sort
View
IROS
2009
IEEE
168views Robotics» more  IROS 2009»
16 years 1 months ago
Slip ratio for lugged wheel of planetary rover in deformable soil: definition and estimation
—The wheel slip ratio is an important state variable in terramechanics research and the control of planetary rovers. Definitions of the slip ratio for a wheel with lugs and metho...
Liang Ding, Haibo Gao, Zongquan Deng, Kazuya Yoshi...
LICS
2009
IEEE
16 years 1 months ago
Indexed Containers
The search for an expressive calculus of datatypes in which canonical algorithms can be easily written and proven correct has proved to be an enduring challenge to the theoretical ...
Thorsten Altenkirch, Peter Morris
ACCV
2009
Springer
16 years 1 months ago
Iterated Graph Cuts for Image Segmentation
Graph cuts based interactive segmentation has become very popular over the last decade. In standard graph cuts, the extraction of foreground object in a complex background often le...
Bo Peng, Lei Zhang, Jian Yang
AIED
2009
Springer
16 years 1 months ago
Are Your Students Working Creatively Together? Automatically Recognizing Creative Turns in Student e-Discussions
In this paper, we discuss how Artificial Intelligence (AI) techniques might be brought to bear in automatically recognizing “creative reasoning” in student e-discussions. An AI...
Bruce M. McLaren, Rupert Wegerif, Jan Miksatko, Ol...
CANS
2009
Springer
136views Cryptology» more  CANS 2009»
16 years 1 months ago
Verifying Anonymous Credential Systems in Applied Pi Calculus
Abstract. Anonymous credentials are widely used to certify properties of a credential owner or to support the owner to demand valuable services, while hiding the user’s identity ...
Xiangxi Li, Yu Zhang, Yuxin Deng