3799 search results - page 672 / 760 » An Engineering Approach to Formal Methods |
154
click to vote
CVPR
2011
IEEE
15 years 21 days ago
2011
IEEE
The recognition of text in everyday scenes is made difficult by viewing conditions, unusual fonts, and lack of linguistic context. Most methods integrate a priori appearance info...
120
click to vote
TCAD
2010
14 years 11 months ago
2010
Abstract--Functional verification is one of the major bottlenecks in system-on-chip design due to the combined effects of increasing complexity and lack of automated techniques for...
145
click to vote
NI
2011
14 years 7 months ago
2011
We present a novel probabilistic approach to fully automated delineation of tree structures in noisy 2D images and 3D image stacks. Unlike earlier methods that rely mostly on local...
164
click to vote
INFOCOM
2012
IEEE
13 years 6 months ago
2012
IEEE
—An origin-destination (OD) flow between two routers is the set of packets that pass both routers in a network. Measuring the sizes of OD flows is important to many network man...
129
click to vote
VSTTE
2005
Springer
15 years 10 months ago
2005
Springer
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...