Sciweavers

5619 search results - page 380 / 1124
» A Region Inference Algorithm
Sort
View
ICFP
2005
ACM
16 years 6 months ago
Associated type synonyms
ML modules and Haskell type classes have proven to be highly effective tools for program structuring. Modules emphasize explicit configuration of program components and the use of...
Manuel M. T. Chakravarty, Gabriele Keller, Simon L...
ESOP
2007
Springer
16 years 1 months ago
Principal Type Schemes for Modular Programs
Abstract. Two of the most prominent features of ML are its expressive module system and its support for Damas-Milner type inference. However, while the foundations of both these fe...
Derek Dreyer, Matthias Blume
CIBCB
2005
IEEE
16 years 14 days ago
Predicting Single Genes Related to Immune-Relevant Processes
— In this paper we address the problem of predicting gene activities by finding gene regulatory dependencies in experimental DNA microarray data. Only few approaches to infer th...
Christian Spieth, Felix Streichert, Nora Speer, Ch...
ICRA
2005
IEEE
150views Robotics» more  ICRA 2005»
16 years 13 days ago
Learning Sensor Network Topology through Monte Carlo Expectation Maximization
— We consider the problem of inferring sensor positions and a topological (i.e. qualitative) map of an environment given a set of cameras with non-overlapping fields of view. In...
Dimitri Marinakis, Gregory Dudek, David J. Fleet
ICMCS
2000
IEEE
138views Multimedia» more  ICMCS 2000»
15 years 11 months ago
Event-Coupled Hidden Markov Models
Inferences from time-series data can be greatly enhanced by taking into account multiple modalities. In some cases, such as audio of speech and the corresponding video of lip gest...
Trausti T. Kristjansson, Brendan J. Frey, Thomas S...