Sciweavers

3116 search results - page 175 / 624
» Positively dependent types
Sort
View
ROBOCUP
2004
Springer
86views Robotics» more  ROBOCUP 2004»
15 years 10 months ago
A Method of Pseudo Stereo Vision from Images of Cameras Shutter Timing Adjusted
Multiple cameras have been used to get a view of a large area. In some cases, the cameras are placed so that their views are overlapped to get a more complete view. 3D information ...
Hironobu Fujiyoshi, Shoichi Shimizu, Yasunori Naga...
IUI
2003
ACM
15 years 10 months ago
Presenting route instructions on mobile devices
In this paper, we evaluate several means of presenting route instructions to a mobile user. Starting from an abstract languageindependent description of a route segment, we show h...
Christian Kray, Christian Elting, Katri Laakso, Vo...
IPPS
2002
IEEE
15 years 9 months ago
Monte Carlo Simulation of HIV-1 Evolution in Response to Selection by Antibodies
The persistence of human immunodeficiency virus type 1 (HIV-1) infection may be in part attributed to its ability to evolve to evade neutralizing antibody (NAb) surveillance. We h...
Jack da Silva, Austin L. Hughes
LEC
2002
IEEE
119views Languages» more  LEC 2002»
15 years 9 months ago
A Deterministic Finite State Automaton for the Oriya Negative Verbal Forms
This paper discusses the processing of negative verbal forms in Oriya in a deterministic Finite State Automaton. A morphologically agglutinative language like Oriya has ‘phrasal...
Kalyanamalini Sahoo
ICPR
2010
IEEE
15 years 7 months ago
Detecting Faint Compact Sources Using Local Features and a Boosting Approach
Several techniques have been proposed so far in order to perform faint compact source detection in wide field interferometric radio images. However, all these methods can easily mi...
Albert Torrent, Marta Peracaula, Xavier Llado, Jor...