649 search results - page 51 / 130 » An Improved Construction of Progression-Free Sets |
86
Voted
SCAM
2006
IEEE
15 years 6 months 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...
121
Voted
SMC
2007
IEEE
15 years 6 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...
97
Voted
ICALP
2009
Springer
15 years 7 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...
117
click to vote
PR
2008
15 years 13 days 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...
STACS
1999
Springer
15 years 4 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...