1757 search results - page 233 / 352 » Alternating Refinement Relations |
129
click to vote
TLCA
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Programming languages theory is full of problems that reduce to proving the consistency of a logic, such as the normalization of typed lambda-calculi, the decidability of...
130
click to vote
MM
2009
ACM
15 years 10 months ago
2009
ACM
Automatic visual categorization is critically dependent on labeled examples for supervised learning. As an alternative to traditional expert labeling, social-tagged multimedia is ...
125
click to vote
SIGIR
2009
ACM
15 years 10 months ago
2009
ACM
Rank correlation statistics are useful for determining whether a there is a correspondence between two measurements, particularly when the measures themselves are of less interest...
128
click to vote
CSMR
2008
IEEE
15 years 10 months ago
2008
IEEE
Legacy systems are often large and difficult to maintain, but rewriting them from scratch is usually not a viable option. Reenginering remains the only way to modernize them. We ...
146
click to vote
ICASSP
2008
IEEE
15 years 10 months ago
2008
IEEE
We are interested in recovering aspects of vocal tract’s geometry and dynamics from auditory and visual speech cues. We approach the problem in a statistical framework based on ...