1547 search results - page 137 / 310 » The Isabelle Collections Framework |
140
click to vote
PKDD
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Semi-supervised clustering models, that incorporate user provided constraints to yield meaningful clusters, have recently become a popular area of research. In this paper...
142
click to vote
SPRINGSIM
2010
15 years 2 months ago
2010
This paper presents how the DUP System, a straightforward POSIX-compatible framework that enables programminglanguage-agnostic parallel and distributed stream processing, can be u...
129
Voted
TPDS
2010
15 years 2 months ago
2010
—In distributed computing systems (DCSs) where server nodes can fail permanently with nonzero probability, the system performance can be assessed by means of the service reliabil...
179
click to vote
CSMR
2010
IEEE
14 years 11 months ago
2010
IEEE
Web software development is one of the most active areas and fastest growing industries in software and services development in Europe, and, in particular, Java Enterprise Edition ...
144
click to vote
TKDE
2010
14 years 11 months ago
2010
We exploit the spreadsheet metaphor to make deductive problem-solving methods available to the vast population of spreadsheet end users. In particular, we show how the function-bas...