Sciweavers

4190 search results - page 95 / 838
» Type Class Directives
Sort
View
KDD
2010
ACM
250views Data Mining» more  KDD 2010»
15 years 6 months ago
Modeling relational events via latent classes
Many social networks can be characterized by a sequence of dyadic interactions between individuals. Techniques for analyzing such events are of increasing interest. In this paper,...
Christopher DuBois, Padhraic Smyth
AAAI
2007
15 years 4 months ago
Supporting Feedback and Assessment of Digital Ink Answers to In-Class Exercises
Effective teaching involves treating the presentation of new material and the assessment of students’ mastery of this material as part of a seamless and continuous feedback cycl...
Kimberle Koile, Kevin Chevalier, Michel Rbeiz, Ada...
JMLR
2006
106views more  JMLR 2006»
15 years 2 months ago
Stability Properties of Empirical Risk Minimization over Donsker Classes
We study some stability properties of algorithms which minimize (or almost-minimize) empirical error over Donsker classes of functions. We show that, as the number n of samples gr...
Andrea Caponnetto, Alexander Rakhlin
130
Voted
SFP
2004
15 years 3 months ago
Generic proofs for combinator-based generic programs
Abstract: Generic programming can bring important benefits to software engineering. In particular, it reduces the burden of verification, since generic proofs can be instantiated a...
Fermín Reig
93
Voted
HYBRID
2009
Springer
15 years 9 months ago
Actors without Directors: A Kahnian View of Heterogeneous Systems
This paper aims to simplify recent efforts proposed by the Berkeley school in giving a formal semantics to the Ptolemy toolbox. We achieve this by developing a simple and elegant ...
Paul Caspi, Albert Benveniste, Roberto Lublinerman...