Sciweavers

927 search results - page 100 / 186
» Detection of Simple Plagiarism in Computer Science Papers
Sort
View
ECIR
2009
Springer
16 years 1 months ago
Combination of Documents Features Based on Simulated Click-through Data
Many different ranking algorithms based on content and context have been used in web search engines to find pages based on a user query. Furthermore, to achieve better performance ...
Ali Mohammad Zareh Bidoki, James A. Thom
LICS
2005
IEEE
15 years 10 months ago
Certifying Compilation for a Language with Stack Allocation
This paper describes an assembly-language type system capable of ensuring memory safety in the presence of both heap and stack allocation. The type system uses linear logic and a ...
Limin Jia, Frances Spalding, David Walker, Neal Gl...
MSR
2005
ACM
15 years 10 months ago
Mining student CVS repositories for performance indicators
Over 200 CVS repositories representing the assignments of students in a second year undergraduate computer science course have been assembled. This unique data set represents many...
Keir Mierle, Kevin Laven, Sam T. Roweis, Greg Wils...
MFCS
2005
Springer
15 years 10 months ago
D-Width: A More Natural Measure for Directed Tree Width
Due to extensive research on tree-width for undirected graphs and due to its many applications in various fields it has been a natural desire for many years to generalize the idea...
Mohammad Ali Safari
ERSHOV
2003
Springer
15 years 9 months ago
ProgDOC - A New Program Documentation System
Though programming languages and programming styles evolve with remarkable speed today, there is no such evolution in the field of program documentation. And although there exist ...
Volker Simonis, Roland Weiss