Sciweavers

4762 search results - page 290 / 953
» About the use of protein models
Sort
View
175
Voted
WACV
2002
IEEE
15 years 11 months ago
Range Synthesis for 3D Environment Modeling
In this paper a range synthesis algorithm is proposed as an initial solution to the problem of 3D environment modeling from sparse data. We develop a statistical learning method f...
Luz Abril Torres-Méndez, Gregory Dudek
PC
2006
96views Management» more  PC 2006»
15 years 6 months ago
Modeling Master/Worker applications for automatic performance tuning
Parallel application development is a very difficult task for non-expert programmers, and therefore support tools are needed for all phases of this kind of application development...
Eduardo César, Andreu Moreno, Joan Sorribes...
JAPLL
2007
88views more  JAPLL 2007»
15 years 6 months ago
Some comments on history based structures
History based models, introduced by Parikh and Ramanujam, provide a natural mathematical model of social interactive situations. These models offer a ”low level” description ...
Eric Pacuit
ESORICS
2005
Springer
16 years 5 days ago
Machine-Checked Security Proofs of Cryptographic Signature Schemes
Abstract. Formal methods have been extensively applied to the certification of cryptographic protocols. However, most of these works make the perfect cryptography assumption, i.e....
Sabrina Tarento
BMCBI
2008
82views more  BMCBI 2008»
15 years 6 months ago
Studying the functional conservation of cis-regulatory modules and their transcriptional output
Background: Cis-regulatory modules (CRMs) are distinct, genomic regions surrounding the target gene that can independently activate the promoter to drive transcription. The activa...
Denis C. Bauer, Timothy L. Bailey