8828 search results - page 1286 / 1766 » Formal methods in practice |
207
click to vote
AHS
2006
IEEE
15 years 9 months ago
2006
IEEE
Face recognition is a challenging field of research not only because of the complexity of this subject, but also because of its numerous practical applications. Much progress has ...
195
click to vote
ASPDAC
2005
ACM
15 years 9 months ago
2005
ACM
Abstract— The sparsification of the reluctance matrix L−1 (where L denotes the usual inductance matrix L) has been widely used in several recent investigations to make the pro...
211
click to vote
DSN
2005
IEEE
15 years 9 months ago
2005
IEEE
In general, decision support is one of the main purposes of model-based analysis of systems. Response surface methodology (RSM) is an optimization technique that has been applied ...
201
click to vote
COLT
2008
Springer
15 years 9 months ago
2008
Springer
Clustering Stability methods are a family of widely used model selection techniques applied in data clustering. Their unifying theme is that an appropriate model should result in ...
184
click to vote
DAS
2008
Springer
15 years 9 months ago
2008
Springer
A robust segmentation is the most important part of an automatic character recognition system (e.g. document processing, license plate recognition etc.). In our contribution we pr...