585 search results - page 77 / 117 » Better Abstractions for Timed Automata |
110
Voted
IPMI
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. Active Shape Models are a popular method for segmenting three-dimensional medical images. To obtain the required landmark correspondences, various automatic approaches ha...
RECOMB
2006
Springer
16 years 25 days ago
2006
Springer
Abstract. This paper presents a new method for studying protein folding kinetics. It uses the recently introduced Stochastic Roadmap Simulation (SRS) method to estimate the transit...
115
Voted
ICCD
2001
IEEE
15 years 9 months ago
2001
IEEE
Abstract-- Scaling the minimum feature size of VLSI circuits to sub-quarter micron and its clock frequency to 2GHz has caused crosstalk noise to become a serious problem, that degr...
92
Voted
ICALP
2009
Springer
15 years 7 months ago
2009
Springer
Abstract Randomized rumor spreading is an efficient protocol to distribute information in networks. Recently, a quasirandom version has been proposed and proven to work equally we...
87
Voted
CSE
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract—A primary goal of vehicular communication systems is the enhancement of traffic safety by equipping vehicles with wireless communication units to facilitate cooperative...