630 search results - page 49 / 126 » Sameness: An Experiment in Code Search |
AICCSA
2007
IEEE
14 years 2 months ago
2007
IEEE
This paper presents an encoding algorithm that is very efficient for many different logic synthesis problems. The algorithm is based on the use of special tables and includes two ...
VSTTE
2005
Springer
14 years 1 months ago
2005
Springer
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...
INTERACT
1997
13 years 9 months ago
1997
Paralinguistics organizers such as parenthesis, footnotes, and pop-up fields on screen, should play an important role signalling the writer’s “minimization” intention when se...
CIKM
2010
Springer
13 years 6 months ago
2010
Springer
In advertising and content relevancy prediction it is important to understand whether, over time, information that reaches one demographic group spreads to others. In this paper w...
IJCNLP
2005
Springer
14 years 1 months ago
2005
Springer
This paper presents a lightweight method for unsupervised extraction of paraphrases from arbitrary textual Web documents. The method differs from previous approaches to paraphrase...