Sciweavers

154 search results - page 14 / 31
» Using Galois Ideals for Computing Relative Resolvents
Sort
View
DAC
2003
ACM
14 years 8 months ago
Multilevel floorplanning/placement for large-scale modules using B*-trees
We present in this paper a multilevel floorplanning/placement framework based on the B*-tree representation, called MB*-tree, to handle the floorplanning and packing for large-sca...
Hsun-Cheng Lee, Yao-Wen Chang, Jer-Ming Hsu, Hanna...
MCS
2008
Springer
13 years 7 months ago
Error analysis of a stochastic immersed boundary method incorporating thermal fluctuations
A stochastic numerical scheme for an extended immersed boundary method which incorporates thermal fluctuations for the simulation of microscopic biological systems consisting of fl...
Paul J. Atzberger, Peter R. Kramer
FAC
2010
106views more  FAC 2010»
13 years 4 months ago
Automatic verification of Java programs with dynamic frames
Framing in the presence of data abstraction is a challenging and important problem in the verification of object-oriented programs [LLM07]. The dynamic frames approach is a promisi...
Jan Smans, Bart Jacobs, Frank Piessens, Wolfram Sc...
ICPR
2008
IEEE
14 years 1 months ago
A uniformity criterion and algorithm for data clustering
We propose a novel multivariate uniformity criterion for testing uniformity of point density in an arbitrary dimensional point pattern . An unsupervised, nonparametric data cluste...
Sanketh Shetty, Narendra Ahuja
ICPR
2006
IEEE
14 years 8 months ago
Estimating Geospatial Trajectory of a Moving Camera
This paper proposes a novel method for estimating the geospatial trajectory of a moving camera. The proposed method uses a set of reference images with known GPS (global positioni...
Asaad Hakeem, Mubarak Shah, Rita Cucchiara, Robert...