Sciweavers

805 search results - page 123 / 161
» The Measurable Space of Stochastic Processes
Sort
View
QEST
2005
IEEE
14 years 4 months ago
iLTLChecker: A Probabilistic Model Checker for Multiple DTMCs
iLTL is a probabilistic temporal logic that can specify properties of multiple discrete time Markov chains (DTMCs). In this paper, we describe two related tools: MarkovEstimator a...
YoungMin Kwon, Gul A. Agha
ICCV
2009
IEEE
1188views Computer Vision» more  ICCV 2009»
15 years 2 months ago
Actionable Information in Vision
I propose a notion of visual information as the complexity not of the raw images, but of the images after the effects of nuisance factors such as viewpoint and illumination are dis...
Stefano Soatto
CVPR
2007
IEEE
15 years 1 months ago
Projector Calibration using Arbitrary Planes and Calibrated Camera
In this paper, an easy calibration method for projector is proposed. The calibration handled in this paper is projective relation between 3D space and 2D pattern, and is not corre...
Makoto Kimura, Masaaki Mochimaru, Takeo Kanade
ICCAD
2005
IEEE
100views Hardware» more  ICCAD 2005»
14 years 7 months ago
Performance-centering optimization for system-level analog design exploration
In this paper we propose a novel analog design optimization methodology to address two key aspects of top-down system-level design: (1) how to optimally compare and select analog ...
Xin Li, Jian Wang, Lawrence T. Pileggi, Tun-Shih C...
IEEEPACT
2008
IEEE
14 years 5 months ago
A tuning framework for software-managed memory hierarchies
Achieving good performance on a modern machine with a multi-level memory hierarchy, and in particular on a machine with software-managed memories, requires precise tuning of progr...
Manman Ren, Ji Young Park, Mike Houston, Alex Aike...