4007 search results - page 180 / 802 » Computation with imprecise probabilities |
147
click to vote
TACAS
2004
Springer
15 years 9 months ago
2004
Springer
Temporal logic is two-valued: formulas are interpreted as either true or false. When applied to the analysis of stochastic systems, or systems with imprecise formal models, tempor...
123
click to vote
DSVIS
2003
Springer
15 years 9 months ago
2003
Springer
CAD systems have yet to become usable at the early stages of product ideation, where precise shape definitions and sometimes even design intentions are not fully developed. To over...
126
Voted
PLDI
1998
ACM
15 years 8 months ago
1998
ACM
This paper evaluates three alias analyses based on programming language types. The first analysis uses type compatibility to determine aliases. The second extends the first by u...
145
click to vote
VLDB
2000
ACM
15 years 7 months ago
2000
ACM
Strict consistency of replicated data is infeasible or not required by many distributed applications, so current systems often permit stale replication, in which cached copies of ...
155
Voted
BMCBI
2010
15 years 4 months ago
2010
Background: The omics fields promise to revolutionize our understanding of biology and biomedicine. However, their potential is compromised by the challenge to analyze the huge da...