5864 search results - page 70 / 1173 » Can We Work around Numerical Methods |
137
Voted
CADE
2008
Springer
16 years 4 months ago
2008
Springer
Interval-based methods are commonly used for computing numerical bounds on expressions and proving inequalities on real numbers. Yet they are hardly used in proof assistants, as th...
115
click to vote
ICPR
2008
IEEE
15 years 10 months ago
2008
IEEE
Speaker recognition systems, even though they have been around for four decades, have not been widely considered as standalone systems for biometric security because of their unac...
130
Voted
PAM
2007
Springer
15 years 10 months ago
2007
Springer
Traditional methods of conducting measurements to end hosts require sending unexpected packets to measurement targets. Although existing techniques can ascertain end host character...
108
click to vote
ICCSA
2005
Springer
15 years 9 months ago
2005
Springer
Mobile IP proposed by IETF supports continuous services for a mobile node (MN) based on its capability to roam around foreign domains [1]. Recently the rapid growth of wireless tec...
146
Voted
IJCV
2011
14 years 7 months ago
2011
We examine the underlying structure of popular algorithms for variational methods used in image processing. We focus here on operator splittings and Bregman methods based on a uniï...