3082 search results - page 529 / 617 » Deviation Analysis: A New Use of Model Checking |
130
click to vote
DAS
2008
Springer
15 years 6 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...
130
click to vote
WCE
2007
15 years 5 months ago
2007
— Renewed interest in reducing interior noise in transportation vehicles has motivated research in low frequency, structural-acoustic analysis. The internal sound field in the en...
200
click to vote
PROMISE
2010
14 years 11 months ago
2010
As software has been pervasive and various software projects have been executed since the 1970s, software project management has played a significant role in software industry. Th...
115
click to vote
ICSE
2003
IEEE-ACM
16 years 4 months ago
2003
IEEE-ACM
In this paper, we investigate the application of the COBRATM method (Cost Estimation, Benchmarking, and Risk Assessment) in a new application domain, the area of web development. ...
125
click to vote
RECONFIG
2009
IEEE
15 years 11 months ago
2009
IEEE
BLASTn is a ubiquitous tool used for large scale DNA analysis. Detailed profiling tests reveal that the most computationally intensive sections of the BLASTn algorithm are the sc...