6010 search results - page 597 / 1202 » Computational Approaches to Drug Design |
188
Voted
DSVIS
2005
Springer
16 years 25 days ago
2005
Springer
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
195
Voted
ICALP
2004
Springer
16 years 21 days ago
2004
Springer
Abstract. In this paper we present a novel analysis of a random sampling approach for three clustering problems in metric spaces: k-median, min-sum kclustering, and balanced k-medi...
180
Voted
ISORC
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper deals with tolerance to timing faults in time-constrained systems. TAFT (Time Aware Fault-Tolerant) is a recently devised approach which applies tolerance to timing vio...
241
click to vote
ICNP
1999
IEEE
15 years 11 months ago
1999
IEEE
While the IP unicast service has proven successful, extending end-to-end adaptation to multicast has been a difficult problem. Unlike the unicast case, multicast protocols must su...
217
click to vote
CHI
1997
ACM
15 years 11 months ago
1997
ACM
In this paper, we report on users' revisitation patterns to World Wide Web (WWW) pages, and use the results to lay an empirical foundation for the design of history mechanism...