11740 search results - page 2214 / 2348 » More Problems in Rewriting |
SC
1992
ACM
14 years 1 months ago
1992
ACM
A common debugging strategy involves reexecuting a program (on a given input) over and over, each time gaining more information about bugs. Such techniques can fail on message-pas...
SIGIR
1992
ACM
14 years 1 months ago
1992
ACM
ct We describe work on the visualization of bibliographic data and, to aid in this task, the application of numerical techniques for multidimensional scaling. Many areas of scienti...
FP
1989
14 years 1 months ago
1989
This paper reports an explanation of an intricate algorithm in the terms of a potentially mechanisable rigorous-development method. It uses notations and techniques of Sheeran 1] ...
CICLING
2010
Springer
14 years 1 months ago
2010
Springer
Abstract. The automatic detection of shared content in written documents –which includes text reuse and its unacknowledged commitment, plagiarism– has become an important probl...
ACMICEC
2007
ACM
14 years 1 months ago
2007
ACM
Recommender systems are intelligent E-commerce applications that assist users in a decision-making process by offering personalized product recommendations during an interaction s...