Sciweavers

6042 search results - page 143 / 1209
» Repeated Observation Models
Sort
View
ASPDAC
2010
ACM
137views Hardware» more  ASPDAC 2010»
15 years 2 months ago
Managing verification error traces with bounded model debugging
Managing long verification error traces is one of the key challenges of automated debugging engines. Today, debuggers rely on the iterative logic array to model sequential behavior...
Sean Safarpour, Andreas G. Veneris, Farid N. Najm
ICPR
2008
IEEE
15 years 11 months ago
Adaptive semantic Bayesian framework for image attention
Image attention is the basic technique for many computer vision applications. In this paper, we propose an adaptive Bayesian framework to detect the image attention in color image...
Wei Zhang, Q. M. Jonathan Wu, Guanghui Wang
ADBIS
2007
Springer
117views Database» more  ADBIS 2007»
15 years 8 months ago
On the Effect of Trajectory Compression in Spatiotemporal Querying
Existing work repeatedly addresses that the ubiquitous positioning devices will start to generate an unprecedented stream of time-stamped positions leading to storage and computati...
Elias Frentzos, Yannis Theodoridis
CVPR
2008
IEEE
15 years 6 months ago
Tracking rotating fluids in realtime using snapshots
We present a model-based system for tracking rotating fluids, and apply it to a laboratory study of atmospheric circulation. Tracking is accomplished by filtering uncertain and hi...
Sai Ravela, John Marshall, Christopher Hill, Andre...
WSC
2004
15 years 5 months ago
A New Method to Determine the Tool Count of a Semiconductor Factory Using FabSim
Tool count optimization is mandatory for an efficiently organized semiconductor factory. This paper describes an efficient heuristic to determine the tool count using the compact ...
Holger Vogt