Sciweavers

2496 search results - page 417 / 500
» On covering by translates of a set
Sort
View
112
Voted
JCC
2006
68views more  JCC 2006»
15 years 1 months ago
Explicit factorization of external coordinates in constrained statistical mechanics models
If a macromolecule is described by curvilinear coordinates or rigid constraints are imposed, the equilibrium probability density that must be sampled in Monte Carlo simulations in...
Pablo Echenique, Iván Calvo
JSC
2008
73views more  JSC 2008»
15 years 1 months ago
Standard bases in K
In this paper we study standard bases for submodules of K[[t1, . . . , tm]][x1, . . . , xn]s respectively of their localisation with respect to a t-local monomial ordering. The mai...
Thomas Markwig
96
Voted
ENTCS
2007
124views more  ENTCS 2007»
15 years 1 months ago
Structuring Optimizing Transformations and Proving Them Sound
A compiler optimization is sound if the optimized program that it produces is semantically equivalent to the input program. The proofs of semantic equivalence are usually tedious....
Aditya Kanade, Amitabha Sanyal, Uday P. Khedker
PR
2008
90views more  PR 2008»
15 years 1 months ago
Fast computation of geometric moments using a symmetric kernel
This paper presents a novel set of geometric moments with symmetric kernel (SGM) obtained using an appropriate transformation of image coordinates. By using this image transformat...
Chong-Yaw Wee, Paramesran Raveendran, R. Mukundan
PAMI
2006
183views more  PAMI 2006»
15 years 1 months ago
A Model-Based Approach for Estimating Human 3D Poses in Static Images
Estimating human body poses in static images is important for many image understanding applications including semantic content extraction and image database query and retrieval. Th...
Mun Wai Lee, Isaac Cohen