8828 search results - page 363 / 1766 » Formal methods in practice |
202
click to vote
MOC
2010
15 years 1 months ago
2010
The Lanczos method is often used to solve a large and sparse symmetric matrix eigenvalue problem. There is a well-established convergence theory that produces bounds to predict the...
164
click to vote
TIP
2010
15 years 1 months ago
2010
Nonconvex nonsmooth regularization has advantages over convex regularization for restoring images with neat edges. However, its practical interest used to be limited by the difficu...
163
click to vote
ICSE
2003
IEEE-ACM
16 years 6 months ago
2003
IEEE-ACM
Software development environment is a platform for supporting software designer to design software based on the software requirement specification. It is an interactive system wit...
183
click to vote
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
Road sign detection is one of the major concerned topics in the field of driving safety and intelligent vehicle. In this paper, a novel model based on Color Barycenters Hexagon (C...
155
click to vote
INFOSECCD
2006
ACM
16 years 23 days ago
2006
ACM
As Armstrong Atlantic State University prepares to enter the wireless world during the 2006-07 academic year, it is important that those connecting to the university’s network u...