Sciweavers

6799 search results - page 237 / 1360
» The Tao of Modeling Spaces
Sort
View
ICCD
2006
IEEE
118views Hardware» more  ICCD 2006»
15 years 10 months ago
A System-level Network-on-Chip Simulation Framework Integrated with Low-level Analytical Models
—This paper presents a system-level Network-on-Chip modeling framework that integrates transaction-level model and analytical wire model for design space exploration. It enables ...
Jinwen Xi, Peixin Zhong
ASM
2010
ASM
15 years 5 months ago
A Refinement-Based Correctness Proof of Symmetry Reduced Model Checking
Symmetry reduction is a model checking technique that can help alleviate the problem of state space explosion, by preventing redundant state space exploration. In previous work, we...
Edd Turner, Michael J. Butler, Michael Leuschel
ACCV
2010
Springer
14 years 9 months ago
PTZ Camera Modeling and Panoramic View Generation via Focal Plane Mapping
We present a novel technique to accurately map the complete field-of-coverage of a camera to its pan-tilt space in an efficient manner. This camera model enables mapping the coordi...
Karthik Sankaranarayanan, James W. Davis
UM
2009
Springer
15 years 8 months ago
Assessing the Impact of Measurement Uncertainty on User Models in Spatial Domains
Abstract. This paper examines the problem of uncertainty due to instrumentation in user modeling systems within spatial domains. We consider the uncertainty of inferring a user’s...
Daniel F. Schmidt, Ingrid Zukerman, David W. Albre...
ECAI
2004
Springer
15 years 7 months ago
Piece-Wise Model Fitting Using Local Data Patterns
In this paper we propose a novel classification algorithm that fits models of different complexity on separate regions of the input space. The goal is to achieve a balance betwee...
Ricardo Vilalta, Murali-Krishna Achari, Christoph ...