3951 search results - page 186 / 791 » Automatic amortized analysis |
158
click to vote
IEEEVAST
2010
14 years 12 months ago
2010
Modern visualization methods are needed to cope with very highdimensional data. Efficient visual analytical techniques are required to extract the information content in these dat...
162
click to vote
ICPP
2006
IEEE
15 years 11 months ago
2006
IEEE
Message passing via MPI is widely used in singleprogram, multiple-data (SPMD) parallel programs. Existing data-flow frameworks do not model the semantics of message-passing SPMD ...
130
Voted
ICWE
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. The traditional Web news article contents extraction methods are time-costly and need much maintenance because they analyze the layout of news pages to generate the wrapp...
141
click to vote
ISMIR
2003
Springer
15 years 10 months ago
2003
Springer
A technique for harmonic analysis is presented that partitions a piece of music into contiguous regions and labels each with the key, mode, and functional chord, e.g. tonic, domin...
156
click to vote
CAV
2012
Springer
13 years 7 months ago
2012
Springer
Abstract. In formal verification of hybrid systems, a big challenge is to incorporate continuous flow dynamics in a discrete framework. Our previous work proposed to use nonstand...