927 search results - page 10 / 186 » Detection of Simple Plagiarism in Computer Science Papers |
85
Voted
JAPLL
2008
14 years 9 months ago
2008
Simple type theory, also known as higher-order logic, is a natural extension of first-order logic which is simple, elegant, highly expressive, and practical. This paper surveys th...
DM
2010
14 years 6 months ago
2010
Suppose is a dual polar space of rank n and H is a hyperplane of . Cardinali, De Bruyn and Pasini have already shown that if n 4 and the line size is greater than or equal to fo...
ACMDIS
1997
ACM
15 years 1 months ago
1997
ACM
Human-computer interaction is multidisciplinary, drawing paradigms and techniques from both the natural sciences and the design disciplines. HCI cannot be considered a pure natura...
89
Voted
ACMSE
2005
ACM
15 years 3 months ago
2005
ACM
Digital libraries (DLs) have become a major focus of information technology resources for organizations from academia, to the US Department of Defense to the archeological efforts...
DAM
2008
14 years 9 months ago
2008
The intramolecular model for gene assembly in ciliates considers three operations, ld, hi, and dlad that can assemble any gene pattern through folding and recombination: the molec...