1376 search results - page 52 / 276 » The Localization Hypothesis and Machines |
ML
2010
ACM
13 years 8 months ago
2010
ACM
When only a small number of labeled samples are available, supervised dimensionality reduction methods tend to perform poorly due to overfitting. In such cases, unlabeled samples ...
ICCV
2011
IEEE
12 years 10 months ago
2011
IEEE
We propose a visual recognition system that is designed for fine-grained visual categorization. The system is composed of a machine and a human user. The user, who is unable to c...
COLING
2000
13 years 11 months ago
2000
We have implenlented a.n interactive, Wel)-based, chat-style machine translation system, SUpl)ort;ing speech recognition and synthesis, local- or thirdparty correction of speech r...
CAV
2010
Springer
14 years 1 months ago
2010
Springer
We present the algorithms used in MCVETO (Machine-Code VErification TOol), a tool to check whether a stripped machinecode program satisfies a safety property. The verification p...
FGCS
2006
13 years 10 months ago
2006
The "VM Turntable" demonstrator at iGRID 2005 pioneered the integration of Virtual Machines (VMs) with deterministic "lightpath" network services across MAN/WA...