Sciweavers

6293 search results - page 836 / 1259
» Information Flow Testing
Sort
View
CVPR
2011
IEEE
15 years 4 months ago
Multi-spectral SIFT for Scene Category Recognition
We use a simple modification to a conventional SLR camera to capture images of several hundred scenes in colour (RGB) and near-infrared (NIR). We show that the addition of near-i...
Matthew Brown, Sabine Susstrunk
169
Voted
CDC
2010
IEEE
143views Control Systems» more  CDC 2010»
15 years 2 months ago
Trajectory tracking control for a tele-operation setup with disturbance estimation and compensation
In this paper, we tackle the position tracking problem in a robotic tele-operation setup in the presence of perturbations. In order to cope with the disturbance we developed a new ...
Stefan Lichiardopol, Nathan van de Wouw, Dragan Ko...
217
Voted
CORR
2011
Springer
216views Education» more  CORR 2011»
15 years 2 months ago
Approaches to Formal Verification of Security Protocols
— In recent times, many protocols have been proposed to provide security for various information and communication systems. Such protocols must be tested for their functional cor...
Suvansh Lal, Mohit Jain, Vikrant Chaplot
229
Voted
COLING
2010
15 years 2 months ago
Near-synonym Lexical Choice in Latent Semantic Space
We explore the near-synonym lexical choice problem using a novel representation of near-synonyms and their contexts in the latent semantic space. In contrast to traditional latent...
Tong Wang, Graeme Hirst
231
Voted
COLING
2010
15 years 2 months ago
Dependency-Based Bracketing Transduction Grammar for Statistical Machine Translation
In this paper, we propose a novel dependency-based bracketing transduction grammar for statistical machine translation, which converts a source sentence into a target dependency t...
Jinsong Su, Yang Liu, Haitao Mi, Hongmei Zhao, Yaj...