1828 search results - page 110 / 366 » First-Class Type Classes |
182
click to vote
POPL
2010
ACM
16 years 3 months ago
2010
ACM
This paper introduces a new approach to type theory called pure subtype systems. Pure subtype systems differ from traditional approaches to type theory (such as pure type systems)...
215
click to vote
CPAIOR
2011
Springer
14 years 9 months ago
2011
Springer
In this work we present the Partner Units Problem as a novel challenge for optimization methods. It captures a certain type of configuration problem that frequently occurs in indu...
197
click to vote
CLEF
2011
Springer
14 years 6 months ago
2011
Springer
Wikipedia vandalism identification is a very complex issue, which is now mostly solved manually by volunteers. This paper presents the main components of a system built by our grou...
174
click to vote
IJKSR
2011
14 years 9 months ago
2011
Learning management systems are routinely used for presenting, solving and grading exercises with large classes. However, teachers are constrained to use questions with pre-defined...
179
click to vote
ICDE
2012
IEEE
13 years 8 months ago
2012
IEEE
—There is increasing interest in analyzing networks of all types including social, biological, sensor, computer, and transportation networks. Broadly speaking, we may be interest...