16883 search results - page 26 / 3377 » Generalized Non-Reducible Descriptors |
112
click to vote
DAC
2010
ACM
15 years 8 months ago
2010
ACM
Timing exception verification has become a center of interest as incorrect constraints can lead to chip failures. Proving that a false path is valid or not is a difficult problem ...
140
click to vote
CCS
2006
ACM
15 years 7 months ago
2006
ACM
A multi-signature scheme enables a group of signers to produce a compact, joint signature on a common document, and has many potential uses. However, existing schemes impose key s...
122
click to vote
CIKM
2008
Springer
15 years 6 months ago
2008
Springer
Inverse document frequency (IDF) is one of the most useful and widely used concepts in information retrieval. There have been various attempts to provide theoretical justification...
127
click to vote
GECCO
2008
Springer
15 years 5 months ago
2008
Springer
This paper begins by reviewing different methods of automatic programming while emphasizing the technique of Ant Programming (AP). AP uses an ant foraging metaphor in which ants g...
120
click to vote
SIGIR
2010
ACM
15 years 4 months ago
2010
ACM
We present a novel approach to query reformulation which combines syntactic and semantic information by means of generalized Levenshtein distance algorithms where the substitution...