Sciweavers

1313 search results - page 257 / 263
» Data Discretization Unification
Sort
View
ACSD
2009
IEEE
106views Hardware» more  ACSD 2009»
13 years 10 months ago
Specification Enforcing Refinement for Convertibility Verification
Protocol conversion deals with the automatic synthesis of an additional component, often referred to as an adaptor or a converter, to bridge mismatches between interacting compone...
Partha S. Roop, Alain Girault, Roopak Sinha, Grego...
CDC
2008
IEEE
112views Control Systems» more  CDC 2008»
13 years 9 months ago
Information fusion strategies from distributed filters in packet-drop networks
Abstract-- In this paper we study different distributed estimation schemes for stochastic discrete time linear systems where the communication between the sensors and the estimatio...
Alessandro Chiuso, Luca Schenato
COLING
2008
13 years 9 months ago
A Hybrid Generative/Discriminative Framework to Train a Semantic Parser from an Un-annotated Corpus
We propose a hybrid generative/discriminative framework for semantic parsing which combines the hidden vector state (HVS) model and the hidden Markov support vector machines (HMSV...
Deyu Zhou, Yulan He
UAI
2004
13 years 9 months ago
Probabilistic Index Maps for Modeling Natural Signals
One of the major problems in modeling natural signals is that signals with very similar structure may locally have completely different measurements, e.g., images taken under diff...
Nebojsa Jojic, Yaron Caspi, Manuel Reyes-Gomez
NIPS
2003
13 years 9 months ago
Minimax Embeddings
Spectral methods for nonlinear dimensionality reduction (NLDR) impose a neighborhood graph on point data and compute eigenfunctions of a quadratic form generated from the graph. W...
Matthew Brand