4231 search results - page 295 / 847 » Using Language More Responsibly |
192
click to vote
PROPOR
2010
Springer
15 years 11 months ago
2010
Springer
In this paper we compare the robustness of several types of stylistic markers to help discriminate authorship at sentence level. We train a SVM-based classifier using each set of ...
155
click to vote
ICALP
2010
Springer
15 years 11 months ago
2010
Springer
The minimization problem for Horn formulas is to find a Horn formula equivalent to a given Horn formula, using a minimum number of clauses. A 2log1−ǫ (n) -inapproximability re...
192
click to vote
IWOMP
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. With the advent of multicore- and manycore-based supercomputers, parallel programming models like MPI and OpenMP become more widely used to express various levels of para...
162
Voted
IFIP
2009
Springer
15 years 11 months ago
2009
Springer
Trust dilution and trust fusion are two operators that are used to calculate transitive trust in a trust network. Various implementations of these operators already exist but are n...
179
click to vote
ESOP
2001
Springer
15 years 11 months ago
2001
Springer
Equality constraints (unification constraints) have widespread use in program analysis, most notably in static polymorphic type systems. Conditional equality constraints extend eq...