1982 search results - page 111 / 397 » Parametricity and dependent types |
124
Voted
SAC
2010
ACM
15 years 6 months ago
2010
ACM
Cell sorting is a fundamental phenomenon in morphogenesis, which is the process that leads to shape formation in living organisms. The sorting of heterotypic cell populations is p...
173
click to vote
LICS
2009
IEEE
16 years 1 months ago
2009
IEEE
We show how to reason about “step-indexed” logitions in an abstract way, avoiding the tedious, error-prone, and proof-obscuring step-index arithmetic that seems superficially...
172
click to vote
VLSM
2005
Springer
16 years 4 days ago
2005
Springer
Converting point samples and/or triangular meshes to a more compact spline representation for arbitrarily topology is both desirable and necessary for computer vision and computer ...
193
click to vote
HAPTICS
2010
IEEE
15 years 11 months ago
2010
IEEE
Raised line patterns are used extensively in the design of tactile graphics for persons with visual impairments. A tactile stroke pattern was therefore developed to enable the rend...
173
click to vote
JDCTA
2008
15 years 6 months ago
2008
Urbanization and industrialization with minimal focus on environmental pollution has resulted in rapid degradation of natural environment. A fresh look at the pollution control st...