Sciweavers

2517 search results - page 151 / 504
» Specifying Weak Sets
Sort
View
POPL
2008
ACM
16 years 6 months ago
The intensional content of Rice's theorem
The proofs of major results of Computability Theory like Rice, Rice-Shapiro or Kleene's fixed point theorem hide more information of what is usually expressed in their respec...
Andrea Asperti
CIAC
2010
Springer
275views Algorithms» more  CIAC 2010»
16 years 3 months ago
Online Cooperative Cost Sharing
The problem of sharing the cost of a common infrastructure among a set of strategic and cooperating players has been the subject of intensive research in recent years. However, mos...
Janina Brenner and Guido Schaefer
SEMCO
2007
IEEE
16 years 23 days ago
Large-Margin Discriminative Training of Hidden Markov Models for Speech Recognition
Discriminative training has been a leading factor for improving automatic speech recognition (ASR) performance over the last decade. The traditional discriminative training, howev...
Dong Yu, Li Deng
WACV
2005
IEEE
16 years 2 days ago
Semi-Supervised Self-Training of Object Detection Models
The construction of appearance-based object detection systems is time-consuming and difficult because a large number of training examples must be collected and manually labeled i...
Chuck Rosenberg, Martial Hebert, Henry Schneiderma...
UM
2010
Springer
15 years 11 months ago
Bayesian Credibility Modeling for Personalized Recommendation in Participatory Media
In this paper, we focus on the challenge that users face in processing messages on the web posted in participatory media settings, such as blogs. It is desirable to recommend to us...
Aaditeshwar Seth, Jie Zhang, Robin Cohen