5615 search results - page 873 / 1123 » On the Computational Capabilities of Several Models |
195
click to vote
CHARME
2005
Springer
16 years 24 days ago
2005
Springer
Abstract. We propose a new saturation-based symbolic state-space generation algorithm for finite discrete-state systems. Based on the structure of the high-level model specificat...
214
click to vote
IMR
2004
Springer
16 years 19 days ago
2004
Springer
In this paper, we propose a robust isotropic tetrahedral mesh generation method. An advancing front method is employed to control local mesh density and to easily preserve the ori...
197
click to vote
ISMIR
2004
Springer
16 years 19 days ago
2004
Springer
In the last few years, several algorithms for the automatic alignment of audio and score data corresponding to the same piece of music have been proposed. Among the major drawback...
164
click to vote
HPDC
2003
IEEE
16 years 17 days ago
2003
IEEE
Divisible workload applications arise in many fields of science and engineering. They can be parallelized in master-worker fashion and relevant scheduling strategies have been pr...
221
click to vote
INFOCOM
2003
IEEE
16 years 17 days ago
2003
IEEE
— Recent investigations into the pricing of multiclass loss networks have shown that static prices are optimal in the asymptotic regime of many small sources. These results sugge...