Sciweavers

5623 search results - page 338 / 1125
» Estimating in Actual Time
Sort
View
CIMCA
2008
IEEE
16 years 1 months ago
A Clustering Based Denoising Technique for Range Images of Time of Flight Cameras
A relatively new technique for measuring the 3D structure of visual scenes is provided by time of flight (TOF) cameras. Reflections of modulated light waves are recorded by a pa...
Holger Schöner, Bernhard Moser, Adrian A. Dor...
ICRA
2008
IEEE
114views Robotics» more  ICRA 2008»
16 years 1 months ago
Lazy localization using the Frozen-Time Smoother
— We present a new algorithm for solving the global localization problem called Frozen-Time Smoother (FTS). Time is ‘frozen’, in the sense that the belief always refers to th...
Andrea Censi, Gian Diego Tipaldi
ECRTS
2005
IEEE
16 years 12 days ago
Fast and Tight Response-Times for Tasks with Offsets
In previous work, we presented a tight approximate response-time analysis for tasks with offsets. While providing a tight bound on response times, the tight analysis exhibits simi...
Jukka Mäki-Turja, Mikael Nolin
ICFEM
2004
Springer
16 years 4 days ago
Linear Inequality LTL (iLTL): A Model Checker for Discrete Time Markov Chains
Abstract. We develop a way of analyzing the behavior of systems modeled using Discrete Time Markov Chains (DTMC). Specifically, we define iLTL, an LTL with linear inequalities on...
YoungMin Kwon, Gul Agha
DFT
2003
IEEE
64views VLSI» more  DFT 2003»
16 years 2 days ago
Hybrid BIST Time Minimization for Core-Based Systems with STUMPS Architecture
1 This paper presents a solution to the test time minimization problem for core-based systems that contain sequential cores with STUMPS architecture. We assume a hybrid BIST approa...
Gert Jervan, Petru Eles, Zebo Peng, Raimund Ubar, ...