4451 search results - page 396 / 891 » On Random Ordering Constraints |
191
click to vote
MEMICS
2010
15 years 1 months ago
2010
A topological flexibility of implicit active contours is of great benefit, since it allows simultaneous detection of several objects without any a priori knowledge about their num...
223
click to vote
CDC
2010
IEEE
14 years 10 months ago
2010
IEEE
— The problem of placing an arbitrary subset (m) of the (n) closed loop eigenvalues of a nth order continuous time single input linear time invariant(LTI) system, using full stat...
298
click to vote
CPAIOR
2011
Springer
14 years 10 months ago
2011
Springer
Abstract. The almost square rectangle packing problem involves packing all rectangles with sizes 1 × 2 to n × (n + 1) (almost squares) into an enclosing rectangle of minimal area...
222
click to vote
CAV
2012
Springer
13 years 9 months ago
2012
Springer
Craig interpolation is a well known method of abstraction successfully used in both hardware and software model checking. The logical strength of interpolants can affect the quali...
164
click to vote
IEEEIAS
2009
IEEE
16 years 1 months ago
2009
IEEE
A computer worm is an autonomous malicious, selfreplicating and propagating piece of code that is able to spread fast in computer networks, exploiting the vulnerabilities it disco...