Sciweavers

5105 search results - page 840 / 1021
» Approximate Structural Consistency
Sort
View
IEEECIT
2010
IEEE
15 years 5 months ago
Superblock-Based Source Code Optimizations for WCET Reduction
—Superblocks represent regions in a program code that consist of multiple basic blocks. Compilers benefit from this structure since it enables optimization across block boundari...
Paul Lokuciejewski, Timon Kelter, Peter Marwedel
IGPL
2010
97views more  IGPL 2010»
15 years 5 months ago
A symbolic/subsymbolic interface protocol for cognitive modeling
Researchers studying complex cognition have grown increasingly interested in mapping symbolic cognitive architectures onto subsymbolic brain models. Such a mapping seems essential...
Patrick Simen, Thad A. Polk
IJRR
2010
105views more  IJRR 2010»
15 years 5 months ago
Design and Analysis of a Portable Indoor Localization Aid for the Visually Impaired
—In this paper, we present the design and analysis of a portable position and orientation (pose) estimation aid for the visually impaired. Our prototype navigation aid consists o...
Joel A. Hesch, Stergios I. Roumeliotis
IJSR
2010
169views more  IJSR 2010»
15 years 5 months ago
A Component-Based Approach to Visual Person Tracking from a Mobile Platform
Abstract In this article, we present a component-based visual tracker for mobile platforms with an application to person tracking. The core of the technique is a componentbased des...
Simone Frintrop, Achim Königs, Frank Hoeller,...
ITP
2010
172views Mathematics» more  ITP 2010»
15 years 5 months ago
Automated Machine-Checked Hybrid System Safety Proofs
mentation of the Abstraction Method In Coq Eelis van der Weegen Institute for Computing and Information Sciences Raboud University Nijmegen This technical report documents our deve...
Herman Geuvers, Adam Koprowski, Dan Synek, Eelis v...