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 8 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 8 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 6 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 6 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 6 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