1497 search results - page 182 / 300 » Extended static checking |
101
Voted
CORR
2008
Springer
15 years 2 months ago
2008
Springer
In this paper, an expression for the asymptotic growth rate of the number of small linear-weight codewords of irregular doubly-generalized LDPC (D-GLDPC) codes is derived. The expr...
105
click to vote
ENGL
2008
15 years 2 months ago
2008
- Recently, bicycles are used as exercising machines and traffic vehicles. Planetary gear trains can be used as the transmission systems for bicycles. The purpose of this work is t...
157
Voted
JMM2
2006
15 years 2 months ago
2006
This paper presents an efficient, robust and fully automatic real-time system for 3D object pose tracking in image sequences. The developed application integrates two main componen...
104
Voted
MCS
2008
Springer
15 years 2 months ago
2008
Springer
Validated continuation was introduced in [4] as means of checking that the classical continuation method applied to a Galerkin projection of a PDE provides a locally unique equili...
100
click to vote
ML
2008
ACM
15 years 2 months ago
2008
ACM
We implement statically-typed multi-holed contexts in OCaml using an underlying algebraic datatype augmented with phantom types. Existing approaches require dynamic checks or more...