Sciweavers

2057 search results - page 189 / 412
» Quadratic placement using an improved timing model
Sort
View
SMI
2005
IEEE
140views Image Analysis» more  SMI 2005»
16 years 4 days ago
Interactive Implicit Modeling with Hierarchical Spatial Caching
Complex implicit CSG models can be represented hierarchically as a tree of nodes (the BlobTree) . However, current methods cannot be used to visualize changes made to these models...
Ryan Schmidt, Brian Wyvill, Eric Galin
PAPM
2001
Springer
128views Mathematics» more  PAPM 2001»
15 years 11 months ago
Faster and Symbolic CTMC Model Checking
Abstract. This paper reports on the implementation and the experiments with symbolic model checking of continuous-time Markov chains using multi-terminal binary decision diagrams (...
Joost-Pieter Katoen, Marta Z. Kwiatkowska, Gethin ...
MVA
2008
125views Computer Vision» more  MVA 2008»
15 years 6 months ago
Pearson-based mixture model for color object tracking
To track objects in video sequences, many studies have been done to characterize the target with respect to its color distribution. Most often, the Gaussian Mixture Model (GMM) is ...
William Ketchantang, Stéphane Derrode, Lion...
ISCA
2010
IEEE
247views Hardware» more  ISCA 2010»
15 years 10 months ago
An integrated GPU power and performance model
GPU architectures are increasingly important in the multi-core era due to their high number of parallel processors. Performance optimization for multi-core processors has been a c...
Sunpyo Hong, Hyesoon Kim
HICSS
1997
IEEE
94views Biometrics» more  HICSS 1997»
15 years 10 months ago
ThreadMon: A Tool for Monitoring Multithreaded Program Performance
This paper describes ThreadMon, a monitoring tool for improving the performance of multithreaded programs, and how we have used it to examine various aspects of the many-to-many (...
Bryan Cantrill, Thomas W. Doeppner Jr.