2137 search results - page 100 / 428 » Proving Abstract Non-interference |
120
Voted
INFOCOM
2011
IEEE
14 years 6 months ago
2011
IEEE
Abstract—In this paper, we provide an analysis of the information propagation speed in bidirectional vehicular delay tolerant networks on highways. We show that a phase transitio...
134
Voted
JIRS
2011
14 years 5 months ago
2011
Abstract This paper deals with the problem of mobile-robot localization in structured environments. The extended Kalman filter (EKF) is used to localize the fourwheeled mobile robo...
164
Voted
AIME
2011
Springer
14 years 2 months ago
2011
Springer
Abstract. The prediction of diagnosis codes is typically based on freetext entries in clinical documents. Previous attempts to tackle this problem range from strictly rule-based sy...
134
click to vote
ICDAR
2011
IEEE
14 years 2 months ago
2011
IEEE
Abstract—According to characteristics of Mongolian wordformation, a method for removing inflectional suffixes from word images of the Mongolian Kanjur is proposed in this paper. ...
153
Voted
CORR
2012
Springer
13 years 10 months ago
2012
Springer
-generic programming increases program abstraction and reuse by making functions operate uniformly across different types. Many approaches to generic programming have been proposed...