1497 search results - page 182 / 300 » Extended static checking |
79
Voted
CORR
2008
Springer
15 years 26 days 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...
94
Voted
ENGL
2008
15 years 25 days 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...
139
Voted
JMM2
2006
15 years 22 days 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...
MCS
2008
Springer
15 years 22 days 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...
88
Voted
ML
2008
ACM
15 years 22 days 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...