3082 search results - page 449 / 617 » Deviation Analysis: A New Use of Model Checking |
188
click to vote
JOT
2006
15 years 6 months ago
2006
This paper discusses the use of design patterns during the transition phase from analysis to design of object-oriented systems. Pattern mining, which is the process of finding and...
132
click to vote
ICDAR
2007
IEEE
16 years 20 days ago
2007
IEEE
We describe a threshold-based local algorithm for image binarization. The main idea is to compute a transition energy using pixel value differences taken from a neighborhood aroun...
140
click to vote
ECCV
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. We present a new parsing framework for the line-based geometric analysis of a single image coming from a man-made environment. This parsing framework models the scene as ...
187
click to vote
PAMI
2010
15 years 4 months ago
2010
—A new formulation for multiway spectral clustering is proposed. This method corresponds to a weighted kernel principal component analysis (PCA) approach based on primal-dual lea...
166
click to vote
SERP
2003
15 years 7 months ago
2003
Agent-based programming comes us as a next generation programming paradigm. However, we have not been ready yet to fully use it without having sound and concrete software engineer...