780 search results - page 72 / 156 » Compositional Quantitative Reasoning |
175
click to vote
CCS
2007
ACM
16 years 6 days ago
2007
ACM
In measuring the overall security of a network, a crucial issue is to correctly compose the measure of individual components. Incorrect compositions may lead to misleading results...
157
click to vote
FUZZIEEE
2007
IEEE
16 years 11 days ago
2007
IEEE
—In the past, we proposed a genetic-fuzzy data-mining algorithm for extracting both association rules and membership functions from quantitative transactions under a single minim...
283
click to vote
POPL
2007
ACM
16 years 6 months ago
2007
ACM
Separation Logic, Ambient Logic and Context Logic are based on a similar style of reasoning about structured data. They each consist of a structural (separating) composition for r...
168
click to vote
SEMWEB
2007
Springer
16 years 4 days ago
2007
Springer
SMART (Semantic web information Management with automated Reasoning Tool) is an open-source project, which aims to provide intuitive tools for life scientists for represent, integr...
167
click to vote
ICFP
2005
ACM
16 years 6 months ago
2005
ACM
We present a compositional program logic for call-by-value imperative higher-order functions with general forms of aliasing, which can arise from the use of reference names as fun...