927 search results - page 138 / 186 » Detection of Simple Plagiarism in Computer Science Papers |
130
click to vote
LICS
2007
IEEE
15 years 10 months ago
2007
IEEE
When enriching the λ-calculus with rewriting, union types may be needed to type all strongly normalizing terms. However, with rewriting, the elimination rule (∨ E) of union typ...
139
click to vote
ICALP
2007
Springer
15 years 10 months ago
2007
Springer
A spanner of an undirected unweighted graph is a subgraph that approximates the distance metric of the original graph with some specified accuracy. Specifically, we say H ⊆ G i...
147
click to vote
WEBI
2005
Springer
15 years 10 months ago
2005
Springer
In this paper we describe the navigational behavior of the students of a e-learning virtual environment, in order to determine whether such navigational patterns are related to th...
141
click to vote
GECCO
2005
Springer
15 years 10 months ago
2005
Springer
The problem of pedestrian injury is a significant one throughout the world. In 2001, there were 4724 pedestrian fatalities in Europe and 4882 in the US. Significant advances have ...
138
click to vote
MABS
2004
Springer
15 years 9 months ago
2004
Springer
The emerging ”Computational Grid” infrastructure poses many new opportunities for the developing science of large scale multiagent simulation. The ability to migrate agent expe...