Sciweavers

5314 search results - page 573 / 1063
» Hybrid Dynamic Programming
Sort
View
PRL
2010
100views more  PRL 2010»
15 years 6 months ago
Extraction of building polygons from SAR images: Grouping and decision-level in the GESTALT system
The GESTALT-System is a stratified architecture for challenging computer vision tasks. This contribution focuses on the 3rd and 4th layer of it – the grouping and decision layer...
Eckart Michaelsen, Uwe Stilla, Uwe Soergel, Leo J....
WCET
2010
15 years 5 months ago
Precomputing Memory Locations for Parametric Allocations
Current worst-case execution time (WCET) analyses do not support programs using dynamic memory allocation. This is mainly due to the unpredictability of cache performance introduc...
Jörg Herter, Sebastian Altmeyer
EMNLP
2009
15 years 5 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
ACL
2011
14 years 11 months ago
The Surprising Variance in Shortest-Derivation Parsing
We investigate full-scale shortest-derivation parsing (SDP), wherein the parser selects an analysis built from the fewest number of training fragments. Shortest derivation parsing...
Mohit Bansal, Dan Klein
FOSSACS
2011
Springer
14 years 11 months ago
Irrelevance in Type Theory with a Heterogeneous Equality Judgement
Dependently typed programs contain an excessive amount of static terms which are necessary to please the type checker but irrelevant for computation. To obtain reasonable performan...
Andreas Abel