927 search results - page 102 / 186 » Detection of Simple Plagiarism in Computer Science Papers |
139
click to vote
LICS
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper presents a new bisimulation theory for parametric polymorphism which enables straightforward coinductive proofs of program equivalences involving existential types. The...
140
click to vote
WECWIS
2006
IEEE
15 years 10 months ago
2006
IEEE
Iterative Combinatorial Auctions (ICA) have been getting increasing attention in computer science and economics, as they provide an efficient solution to resource allocation prob...
163
click to vote
ICALT
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract--jEditOQMath is an authoring tool for the intelligent learning environment ActiveMath. Its editing interface is a simple source editor. However the wealth and power of the...
131
click to vote
SC
2005
ACM
15 years 10 months ago
2005
ACM
We are developing Virtuoso, a system for distributed computing using virtual machines (VMs). Virtuoso must be able to mix batch and interactive VMs on the same physical hardware, ...
123
click to vote
VISUALIZATION
2003
IEEE
15 years 9 months ago
2003
IEEE
The goal of this paper is to transfer image processing to vector fields and flow visualization by defining a suitable convolution operation. For this, a multiplication of vecto...