649 search results - page 51 / 130 » An Improved Construction of Progression-Free Sets |
169
click to vote
SCAM
2006
IEEE
16 years 23 days ago
2006
IEEE
Metamorphic malware — including certain viruses and worms — rewrite their code during propagation. This paper presents a method for normalizing multiple variants of metamorphi...
201
click to vote
SMC
2007
IEEE
16 years 1 months ago
2007
IEEE
— We consider learning in a transductive setting using instance-based learning (k-NN) and present a method for constructing a data-dependent distance “metric” using both labe...
169
click to vote
ICALP
2009
Springer
16 years 1 months ago
2009
Springer
We consider the problem of constructing decision trees for entity identification from a given table. The input is a table containing information about a set of entities over a fi...
220
click to vote
PR
2008
15 years 6 months ago
2008
We present an efficient and robust method of locating a set of feature points in an object of interest. From a training set we construct a joint model of the appearance of each fe...
180
click to vote
STACS
1999
Springer
15 years 11 months ago
1999
Springer
Model checking is a method for the verification of systems with respect to their specifications. Symbolic model-checking, which enables the verification of large systems, procee...