3082 search results - page 396 / 617 » Deviation Analysis: A New Use of Model Checking |
165
click to vote
ISCAS
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper, we present a new method for texture classification which we call the regularized simultaneous autoregressive method (RSAR). The regularization technique is introduc...
200
click to vote
BMCBI
2011
14 years 10 months ago
2011
Background: Gene regulatory networks play essential roles in living organisms to control growth, keep internal metabolism running and respond to external environmental changes. Un...
201
click to vote
EOR
2008
15 years 6 months ago
2008
We present a new method, called UTAGMS , for multiple criteria ranking of alternatives from set A using a set of additive value functions which result from an ordinal regression. ...
175
click to vote
ICDAR
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper we propose a new approach to improve electronic editions of human science corpus, providing an efficient estimation of manuscripts pages structure. In any handwriti...
160
click to vote
ICSM
2009
IEEE
16 years 1 months ago
2009
IEEE
As development on a software project progresses, developers shift their focus between different topics and tasks many times. Managers and newcomer developers often seek ways of un...