Sciweavers

220 search results - page 16 / 44
» Global Conformal Parameterization
Sort
View
ESOP
2009
Springer
14 years 4 months ago
Global Principal Typing in Partially Commutative Asynchronous Sessions
We generalise a theory of multiparty session types for the π-calculus through asynchronous communication subtyping, which allows partial commutativity of actions with maximal fle...
Dimitris Mostrous, Nobuko Yoshida, Kohei Honda
IJDMB
2010
128views more  IJDMB 2010»
13 years 7 months ago
Computing approximate solutions of the protein structure determination problem using global constraints on discrete crystal latt
: Crystal lattices are discrete models of the three-dimensional space that have been effectively employed to facilitate the task of determining proteins' natural conformation....
Alessandro Dal Palù, Agostino Dovier, Enric...
DL
1998
Springer
158views Digital Library» more  DL 1998»
14 years 1 months ago
Making Global Digital Libraries Work: Collection Services, Connectivity Regions, and Collection Views
There are many technical challenges in designing the architecture of globally-distributed, federated digital libraries. This paper focuses on the problem of global resource discov...
Carl Lagoze, David Fielding, Sandra Payette
CSB
2005
IEEE
117views Bioinformatics» more  CSB 2005»
14 years 3 months ago
Protein Structure Prediction Using Physical-Based Global Optimization and Knowledge-Guided Fragment Packing
We describe a new method to predict the tertiary structure of new-fold proteins. Our two-phase approach combines the knowledge-based fragmentpacking with the minimization of a phy...
Jinhui Ding, Elizabeth Eskow, Nelson L. Max, Silvi...
SMI
2007
IEEE
106views Image Analysis» more  SMI 2007»
14 years 3 months ago
Iterative Methods for Improving Mesh Parameterizations
We present two complementary methods for automatically improving mesh parameterizations and demonstrate that they provide a very desirable combination of efficiency and quality. ...
Shen Dong, Michael Garland