Sciweavers

1180 search results - page 160 / 236
» A generic structure-from-motion framework
Sort
View
LOGCOM
2010
87views more  LOGCOM 2010»
13 years 8 months ago
Exemplaric Expressivity of Modal Logics
Abstract This paper investigates expressivity of modal logics for transition systems, multitransition systems, Markov chains, and Markov processes, as coalgebras of the powerset, ï...
Bart Jacobs, Ana Sokolova
SIAMAM
2010
84views more  SIAMAM 2010»
13 years 8 months ago
Multidisciplinary Free Material Optimization
We present a mathematical framework for the so-called multidisciplinary free material optimization (MDFMO) problems, a branch of structural optimization in which the full material ...
Jaroslav Haslinger, Michal Kocvara, Günter Le...
NAACL
2010
13 years 7 months ago
Bayesian Inference for Finite-State Transducers
We describe a Bayesian inference algorithm that can be used to train any cascade of weighted finite-state transducers on end-toend data. We also investigate the problem of automat...
David Chiang, Jonathan Graehl, Kevin Knight, Adam ...
EMNLP
2009
13 years 7 months ago
Feature-Rich Translation by Quasi-Synchronous Lattice Parsing
We present a machine translation framework that can incorporate arbitrary features of both input and output sentences. The core of the approach is a novel decoder based on lattice...
Kevin Gimpel, Noah A. Smith
CDC
2010
IEEE
126views Control Systems» more  CDC 2010»
13 years 4 months ago
Distance measures for linear systems with multiplicative and inverse multiplicative uncertainty characterisation
Abstract--Input multiplicative and output inverse multiplicative uncertainty characterisations are common in the robust control literature. We present specialised distance measures...
Sönke Engelken, Alexander Lanzon, Sourav Patr...