13383 search results - page 2330 / 2677 » Abstractions from proofs |
141
click to vote
EDBT
2004
ACM
16 years 4 months ago
2004
ACM
Abstract. Clustering has become an increasingly important task in modern application domains such as marketing and purchasing assistance, multimedia, molecular biology as well as m...
126
click to vote
EUROSYS
2009
ACM
16 years 1 months ago
2009
ACM
Some web sites provide interactive extensions using browser scripts, often without inspecting the scripts to verify that they are benign and bug-free. Others handle usersā conļ¬...
151
click to vote
ICCAD
2004
IEEE
16 years 1 months ago
2004
IEEE
ā Cycle-accurate functional descriptions (CAFDs) are being widely adopted in integrated circuit (IC) design ļ¬ows. Power estimation can potentially beneļ¬t from the inherent in...
124
click to vote
TACAS
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Synthesis is the automated construction of a system from its speciļ¬cation. The system has to satisfy its speciļ¬cation in all possible environments. Modern systems oft...
115
click to vote
RECOMB
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. In this paper, we focus on ļ¬nding complex annotation patterns representing novel and interesting hypotheses from gene annotation data. We deļ¬ne a generalization of th...