Sciweavers

4738 search results - page 180 / 948
» Correlated Data Inference
Sort
View
ICML
2006
IEEE
16 years 7 months ago
Combining discriminative features to infer complex trajectories
We propose a new model for the probabilistic estimation of continuous state variables from a sequence of observations, such as tracking the position of an object in video. This ma...
David A. Ross, Simon Osindero, Richard S. Zemel
ICML
2004
IEEE
16 years 7 months ago
Boosting grammatical inference with confidence oracles
In this paper we focus on the adaptation of boosting to grammatical inference. We aim at improving the performances of state merging algorithms in the presence of noisy data by us...
Jean-Christophe Janodet, Richard Nock, Marc Sebban...
CEC
2005
IEEE
16 years 4 days ago
Clustering-based approach to identify solutions for the inference of regulatory networks
Abstract- In this paper we address the problem of finding valid solutions for the problem of inferring gene regulatory networks. Different approaches to directly infer the depende...
Christian Spieth, Felix Streichert, Nora Speer, An...
TLDI
2005
ACM
126views Formal Methods» more  TLDI 2005»
16 years 2 days ago
Type inference for atomicity
Atomicity is a fundamental correctness property in multithreaded programs. This paper presents an algorithm for verifying atomicity via type inference. The underlying type system ...
Cormac Flanagan, Stephen N. Freund, Marina Lifshin
MPC
2004
Springer
155views Mathematics» more  MPC 2004»
15 years 12 months ago
Inferring Type Isomorphisms Generically
Abstract. Datatypes which differ inessentially in their names and structure are said to be isomorphic; for example, a ternary product is isomorphic to a nested pair of binary prod...
Frank Atanassow, Johan Jeuring