9611 search results - page 1562 / 1923 » A Note on Difference Sets |
240
click to vote
CVPR
2012
IEEE
13 years 9 months ago
2012
IEEE
Fine-grained categorization refers to the task of classifying objects that belong to the same basic-level class (e.g. different bird species) and share similar shape or visual app...
226
click to vote
CVPR
2012
IEEE
13 years 9 months ago
2012
IEEE
In this work a Gaussian Hidden Markov Model (GHMM) based automatic sign language recognition system is built on the SIGNUM database. The system is trained on appearance-based feat...
287
click to vote
TSE
2012
13 years 9 months ago
2012
d Abstractions for Contract Validation Guido de Caso, Víctor Braberman, Diego Garbervetsky and Sebastián Uchitel —Pre/post condition-based specifications are common-place in a...
177
click to vote
ACL
2012
13 years 9 months ago
2012
We present a novel algorithm for multilingual dependency parsing that uses annotations from a diverse set of source languages to parse a new unannotated language. Our motivation i...
207
click to vote
ICFP
2012
ACM
13 years 9 months ago
2012
ACM
The higher-order logic found in proof assistants such as Coq and various HOL systems provides a convenient setting for the development and verification of pure functional program...