1982 search results - page 98 / 397 » Parametricity and dependent types |
159
click to vote
BMCBI
2011
14 years 8 months ago
2011
Background: Elucidating the exact relationship between gene copy number and expression would enable identification of regulatory mechanisms of abnormal gene expression and biologi...
154
click to vote
SBBD
2004
15 years 6 months ago
2004
Multi-valued dependencies (MVDs) are an important class of constraints that is fundamental for relational database design. Although modern applications increasingly require the su...
146
click to vote
VISUALIZATION
2005
IEEE
15 years 10 months ago
2005
IEEE
Real-time rendering of massively textured 3D scenes usually involves two major problems: Large numbers of texture switches are a well-known performance bottleneck and the set of s...
127
click to vote
RANDOM
1998
Springer
15 years 9 months ago
1998
Springer
Abstract. Redundancy has been utilized to achieve fault tolerant computation and to achieve reliable communication in networks of processors. These techniques can only be extended ...
146
click to vote
ASPDAC
2007
ACM
15 years 8 months ago
2007
ACM
Logic synthesis has made impressive progress in the last decade and has pervaded digital design replacing almost universally manual techniques. A remarkable exception is computer ...