3495 search results - page 234 / 699 » On the random satisfiable process |
184
click to vote
ENTCS
2006
15 years 7 months ago
2006
A Random test generator generates executable tests together with their expected results. In the form of a noise-maker, it seeds the program with conditional scheduling primitives ...
241
click to vote
JCS
2011
15 years 2 months ago
2011
We explore a new direction towards solving the identity authentication problem in RFID systems. We break the RFID authentication process into two main problems: message authenticat...
227
click to vote
INFOCOM
2012
IEEE
13 years 9 months ago
2012
IEEE
—This paper focuses on the Internet IP-level routing topology and proposes relevant explanations to its apparent dynamics. We first represent this topology as a power-law random...
247
click to vote
JCB
2002
15 years 6 months ago
2002
There are many algorithms to cluster sample data points based on nearness or a similarity measure. Often the implication is that points in different clusters come from different u...
206
click to vote
ICIP
2008
IEEE
16 years 9 months ago
2008
IEEE
We introduce a framework for modeling spatial patterns of shapes formed by multiple objects in an image. Our approach is graph-based where each node denotes an object and attribut...