1982 search results - page 89 / 397 » Parametricity and dependent types |
125
click to vote
ICSM
2008
IEEE
15 years 11 months ago
2008
IEEE
More than 90% of the cost of software is due to maintenance and evolution. Understanding the evolution of large software systems is a complex problem, which requires the use of va...
125
click to vote
IPPS
2006
IEEE
15 years 10 months ago
2006
IEEE
Electronic textiles, known as computational fabrics, offer an emerging method for constructing wearable and large area applications. Because e-textiles are battery-driven and faul...
129
click to vote
GLOBECOM
2008
IEEE
15 years 11 months ago
2008
IEEE
Long-range dependence (LRD) is a widely verified property of Internet traffic, which severely impacts network performance yielding longer queuing delays. Moreover, LRD is almos...
137
Voted
ECML
2007
Springer
15 years 10 months ago
2007
Springer
Averaged One-Dependence Estimators (AODE) classifies by uniformly aggregating all qualified one-dependence estimators (ODEs). Its capacity to significantly improve naive Bayes...
163
Voted
WSCG
2003
15 years 6 months ago
2003
Rendering large trimmed NURBS models with high quality at interactive frame rates is of great interest for industry, since nearly all their models are designed on the basis of thi...