927 search results - page 88 / 186 » Detection of Simple Plagiarism in Computer Science Papers |
141
click to vote
TCS
2010
15 years 2 months ago
2010
Automatic debugging of UML class diagrams helps in the visual specification of software systems because users cannot detect errors in logical consistency easily. This paper focus...
129
click to vote
LICS
2009
IEEE
15 years 11 months ago
2009
IEEE
In this paper we introduce “clipping,” a new method of syntactic approximation which is motivated by and works in conjunction with a sound and decidable denotational model for...
154
click to vote
CSL
2007
Springer
15 years 10 months ago
2007
Springer
Calculi with explicit substitutions (ES) are widely used in different areas of computer science. Complex systems with ES were developed these last 15 years to capture the good comp...
158
click to vote
TIP
2008
15 years 4 months ago
2008
Abstract--This paper presents a new, simple, and efficient segmentation approach, based on a fusion procedure which aims at combining several segmentation maps associated to simple...
131
click to vote
AAAI
2006
15 years 5 months ago
2006
Teams of robots are more fault tolerant than single robots, and auctions appear to be promising means for coordinating them. In a recent paper at "Robotics: Science and Syste...