Sciweavers

2949 search results - page 226 / 590
» Universal Sparse Modeling
Sort
View
ENTCS
2006
153views more  ENTCS 2006»
15 years 3 months ago
Parametric Domain-theoretic Models of Polymorphic Intuitionistic / Linear Lambda Calculus
We present a formalization of a version of Abadi and Plotkin's logic for parametricity for a polymorphic dual intuitionistic / linear type theory with fixed points, and show,...
Lars Birkedal, Rasmus Ejlers Møgelberg, Ras...
CORR
2004
Springer
85views Education» more  CORR 2004»
15 years 3 months ago
A dynamical model of a GRID market
We discuss potential market mechanisms for the GRID. A complete dynamical model of a GRID market is defined with three types of agents. Providers, middlemen and users exchange uni...
Uli Harder, Peter G. Harrison, Maya Paczuski, Teja...
TIT
1998
123views more  TIT 1998»
15 years 3 months ago
The Minimum Description Length Principle in Coding and Modeling
—We review the principles of Minimum Description Length and Stochastic Complexity as used in data compression and statistical modeling. Stochastic complexity is formulated as the...
Andrew R. Barron, Jorma Rissanen, Bin Yu
118
Voted
FASE
2010
Springer
15 years 10 months ago
Reusing Model Transformations While Preserving Properties
Abstract. Model transformations are indispensable to model-based development (MBD) where they act as translators between domain-specific languages (DSLs). As a result, transformat...
Ethan K. Jackson, Wolfram Schulte, Daniel Balasubr...
ICASSP
2009
IEEE
15 years 10 months ago
Joint map adaptation of feature transformation and Gaussian Mixture Model for speaker recognition
This paper extends our previous work on feature transformationbased support vector machines for speaker recognition by proposing a joint MAP adaptation of feature transformation (...
Donglai Zhu, Bin Ma, Haizhou Li