Sciweavers

5170 search results - page 238 / 1034
» Consistency of the FastSLAM Algorithm
Sort
View
APLAS
2008
ACM
15 years 3 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...
95
Voted
EMNLP
2008
15 years 3 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 3 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
PAMI
2006
206views more  PAMI 2006»
15 years 1 months ago
Fast Active Appearance Model Search Using Canonical Correlation Analysis
A fast AAM search algorithm based on canonical correlation analysis (CCA-AAM) is introduced. It efficiently models the dependency between texture residuals and model parameters dur...
Rene Donner, Michael Reiter, Georg Langs, Philipp ...
109
Voted
JCIT
2007
126views more  JCIT 2007»
15 years 1 months ago
Rough Petri Net Model (RPNM) For knowledge Representation, Rules Generation and Reasoning
Rough Petri nets model (RPNM) for knowledge representation, rule generation, and reasoning is presented in this paper. An algorithm for verifying the consistency of a rough knowle...
Hala S. Own