Sciweavers

13734 search results - page 12 / 2747
» Abstractions of data types
Sort
View
PAKDD
2010
ACM
158views Data Mining» more  PAKDD 2010»
14 years 9 days ago
Integrative Parameter-Free Clustering of Data with Mixed Type Attributes
Abstract. Integrative mining of heterogeneous data is one of the major challenges for data mining in the next decade. We address the problem of integrative clustering of data with ...
Christian Böhm, Sebastian Goebl, Annahita Osw...
CN
2002
112views more  CN 2002»
13 years 7 months ago
State-dependent M/G/1 type queueing analysis for congestion control in data networks
Abstract--We study in this paper a TCP-like linear-increase multiplicative-decrease flow control mechanism. We consider congestion signals that arrive in batches according to a Poi...
Eitan Altman, Konstantin Avrachenkov, Chadi Baraka...
POPL
2009
ACM
14 years 8 months ago
Modeling abstract types in modules with open existential types
Abstract Types in Modules with Open Existential Types Beno?t Montagu Didier R?my INRIA {Benoit.Montagu, Didier.Remy}@inria.fr We propose F , a calculus of open existential types t...
Benoît Montagu, Didier Rémy
TLDI
2009
ACM
100views Formal Methods» more  TLDI 2009»
14 years 4 months ago
Typed transformations of typed abstract syntax
Syntax Arthur Baars Doaitse Swierstra Technical Report UU-CS-2008-021 July 2008 Department of Information and Computing Sciences Utrecht University, Utrecht, The Netherlands www.cs...
Arthur I. Baars, S. Doaitse Swierstra, Marcos Vier...
PHOENIX
1991
13 years 11 months ago
Type Classes are Signatures of Abstract Types
Konstantin Läufer, Martin Odersky