Sciweavers

5164 search results - page 262 / 1033
» Consistency of the EKF-SLAM Algorithm
Sort
View
COCO
1992
Springer
96views Algorithms» more  COCO 1992»
15 years 10 months ago
Fixed-Parameter Intractability
We give a novel characterization of W[1], the most important fixed-parameter intractability class in the W-hierarchy, using Boolean circuits that consist solely of majority gates. ...
Rodney G. Downey, Michael R. Fellows
ESA
2006
Springer
95views Algorithms» more  ESA 2006»
15 years 10 months ago
Resource Allocation in Bounded Degree Trees
We study the bandwidth allocation problem (bap) in bounded degree trees. In this problem we are given a tree and a set of connection requests. Each request consists of a path in t...
Reuven Bar-Yehuda, Michael Beder, Yuval Cohen, Dro...
APLAS
2008
ACM
15 years 8 months ago
Sound and Complete Type Inference for a Systems Programming Language
This paper introduces a new type system designed for safe systems programming. The type system features a new mutability model that combines unboxed types with a consistent typing ...
Swaroop Sridhar, Jonathan S. Shapiro, Scott F. Smi...
EMNLP
2008
15 years 8 months ago
Cross-Task Knowledge-Constrained Self Training
We present an algorithmic framework for learning multiple related tasks. Our framework exploits a form of prior knowledge that relates the output spaces of these tasks. We present...
Hal Daumé III
CCCG
2006
15 years 8 months ago
Polygon Reconstruction from Line Cross-Sections
We study the following geometric probing problem: Reconstruct a planar polygon from its intersections with a collection of arbitrarily-oriented "cutting" lines. We propo...
Gill Barequet, Craig Gotsman, Avishay Sidlesky