2740 search results - page 125 / 548 » Typing the Specialization Interface |
95
Voted
ESANN
2007
15 years 5 months ago
2007
This paper presents a new algorithm for clustering. It is an generalisation of the K-means algorithms . Each cluster will be represented by a chain of prototypes instead of being r...
98
Voted
EUSFLAT
2007
15 years 5 months ago
2007
Based on a minimal set of axioms we introduce a general integral which can be defined on arbitrary measurable spaces. It acts on measures which are only (finite) monotone set fu...
253
Voted
NFM
2011
14 years 10 months ago
2011
Abstract. We present a general scheme for automated instantiation-based invariant discovery. Given a transition system, the scheme produces k-inductive invariants from templates re...
151
Voted
CLEF
2011
Springer
14 years 3 months ago
2011
Springer
Abstract. We propose a generative model for automatic query reformulations from an initial query using the underlying subtopic structure of top ranked retrieved documents. We addre...
138
Voted
CHI
2007
ACM
16 years 4 months ago
2007
ACM
This paper describes a new software platform for the interactive exploration of human performance models such as Fitts' law. The software is written in Java and provides a fl...