378 search results - page 50 / 76 » Automating Coinduction with Case Analysis |
156
Voted
CAIP
2003
Springer
15 years 8 months ago
2003
Springer
Worldwide, 30% – 40% of women and 13% of men suffer from osteoporotic fractures of the bone, particularly the older people. Doctors in the hospitals need to manually inspect a l...
99
Voted
DAC
2007
ACM
16 years 4 months ago
2007
ACM
Statistical behavior of device leakage and threshold voltage shows a strong width dependency under microscopic random dopant fluctuation. Leakage estimation using the conventional...
110
click to vote
ICDE
2010
IEEE
15 years 10 months ago
2010
IEEE
—Data compression techniques such as null suppression and dictionary compression are commonly used in today’s database systems. In order to effectively leverage compression, it...
124
Voted
LICS
2009
IEEE
15 years 10 months ago
2009
IEEE
In this paper we introduce “clipping,” a new method of syntactic approximation which is motivated by and works in conjunction with a sound and decidable denotational model for...
119
click to vote
OOPSLA
2009
Springer
15 years 10 months ago
2009
Springer
This paper introduces S.P.L.O.T., a Web-based reasoning and configuration system for Software Product Lines (SPLs). The system benefits from mature logic-based reasoning techniq...