4770 search results - page 67 / 954 » Flexible Type Analysis |
146
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: Many structural properties such as solvent accessibility, dihedral angles and helix-helix contacts can be assigned to each residue in a membrane protein. Independent s...
129
Voted
ICALT
2009
IEEE
15 years 10 months ago
2009
IEEE
Supporting students in the acquisition of argumentation skills is an important goal of educational technology. However, there has not been much work done towards developing generi...
129
Voted
ASPDAC
2005
ACM
15 years 6 months ago
2005
ACM
— We present SoCExplore, a framework for fast communicationcentric design space exploration of complex SoCs with networkbased interconnects. Speed-up in exploration is achieved t...
127
Voted
SIAMIS
2008
15 years 3 months ago
2008
We present novel wavelet-based inpainting algorithms. Applying ideas from anisotropic regularization and diffusion our models can better handle degraded pixels at edges. We interp...
148
click to vote
POPL
2010
ACM
16 years 1 months ago
2010
ACM
The definition of type equivalence is one of the most important design issues for any typed language. In dependentlytyped languages, because terms appear in types, this definition...