Sciweavers

9659 search results - page 200 / 1932
» Points on Computable Curves
Sort
View
88
Voted
ICPR
2008
IEEE
16 years 1 months ago
On-line signature verification by using most discriminating points
Muhammad Talal Ibrahim, Ling Guan
ARITH
2007
IEEE
16 years 1 months ago
Formal Verification of Floating-Point Programs
Sylvie Boldo, Jean-Christophe Filliâtre