6829 search results - page 20 / 1366 » Quantitative Generalizations of Languages |
100
click to vote
KDD
2006
ACM
16 years 1 months ago
2006
ACM
Existing research on mining quantitative databases mainly focuses on mining associations. However, mining associations is too expensive to be practical in many cases. In this pape...
99
Voted
QEST
2006
IEEE
15 years 6 months ago
2006
IEEE
Abstract. We present a compositional theory of system verification, where specifications assign real-numbered costs to systems. These costs can express a wide variety of quantita...
CHI
2008
ACM
16 years 1 months ago
2008
ACM
Despite the long history and consistent use of quantitative empirical methods to evaluate information visualization techniques and systems, our understanding of interface use rema...
124
Voted
ISBI
2009
IEEE
15 years 7 months ago
2009
IEEE
In live-cell fluorescence microscopy imaging, quantitative analysis of biological image data generally involves the detection of many subresolution objects, appearing as diffract...
130
click to vote
APSCC
2008
IEEE
15 years 7 months ago
2008
IEEE
Software systems today often run in malicious environments in which attacks or intrusions are quite common. This situation has brought security concerns into the development of so...