17185 search results - page 300 / 3437 » Computational and Quantitative Studies |
195
Voted
CCS
2001
ACM
15 years 12 months ago
2001
ACM
hfulness of Abstract Protocol Analysis: Message Authentication∗ Joshua D. Guttman F. Javier Thayer Lenore D. Zuck December 18, 2002 Dolev and Yao initiated an approach to studyi...
194
Voted
SIGMOD
1998
ACM
15 years 11 months ago
1998
ACM
As databases get widely deployed, it becomes increasingly important to reduce the overhead of database administration. An important aspect of data administration that critically i...
206
Voted
CAV
2006
Springer
15 years 11 months ago
2006
Springer
We present an approach for applying symmetry reduction techniques to probabilistic model checking, a formal verification method for the quantitative analysis of systems with stocha...
161
click to vote
GECCO
2006
Springer
15 years 11 months ago
2006
Springer
Automatically assessing the value of bioavailability from the chemical structure of a molecule is a very important issue in biomedicine and pharmacology. In this paper, we present...
180
click to vote
EWCBR
2000
Springer
15 years 11 months ago
2000
Springer
An important focus of recent CBR research is on how to develop strategies for achieving compact, competent case-bases, as a way to improve the performance of CBR systems. However, ...