Sciweavers

2041 search results - page 130 / 409
» Balance Machines: Computing = Balancing
Sort
View
STACS
2005
Springer
15 years 3 months ago
Deciding Properties of Contract-Signing Protocols
Abstract. We show that for infinite transition systems induced by cryptographic protocols in the Rusinowitch/Turuani style certain fundamental branching properties are decidable. ...
Detlef Kähler, Ralf Küsters, Thomas Wilk...
ACII
2007
Springer
15 years 2 months ago
Combining Audio and Video by Dominance in Bimodal Emotion Recognition
We propose a novel bimodal emotion recognition approach by using the boosting-based framework, in which we can automatically determine the adaptive weights for audio and visual fea...
Lixing Huang, Le Xin, Liyue Zhao, Jianhua Tao
ACMDIS
2008
ACM
15 years 15 hour ago
Objects of wonderment
While we should celebrate our success at evolving many vital aspects of the human-technology interactive experience, we question the scope of this progress. Step back with us for ...
Eric Paulos, Tom Jenkins, August Joki, Parul Vora
ICML
2009
IEEE
15 years 10 months ago
Graph construction and b-matching for semi-supervised learning
Graph based semi-supervised learning (SSL) methods play an increasingly important role in practical machine learning systems. A crucial step in graph based SSL methods is the conv...
Tony Jebara, Jun Wang, Shih-Fu Chang
COLT
2008
Springer
14 years 11 months ago
How Local Should a Learning Method Be?
We consider the question of why modern machine learning methods like support vector machines outperform earlier nonparametric techniques like kNN. Our approach investigates the lo...
Alon Zakai, Yaacov Ritov