5350 search results - page 143 / 1070 » Space and time in eco-ontologies |
180
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
We present a novel online audio-score alignment approach for multiinstrument polyphonic music. This approach uses a 2-dimensional state vector to model the underlying score positi...
177
click to vote
CIKM
2008
Springer
15 years 8 months ago
2008
Springer
Recent growth of social classification systems due to steadily increasing popularity has established a multitude of heterogeneous isolated, non-integrated, and non-interoperable t...
176
click to vote
CAV
1992
Springer
15 years 10 months ago
1992
Springer
State-space caching is a veri cation technique for nite-state concurrent systems. It performs an exhaustive exploration of the state space of the system being checked while storin...
177
click to vote
GECCO
2006
Springer
15 years 10 months ago
2006
Springer
Many metaheuristics have difficulty exploring their search space comprehensively. Exploration time and efficiency are highly dependent on the size and the ruggedness of the search...
260
click to vote
SIGMOD
2008
ACM
16 years 6 months ago
2008
ACM
Recently, skyline queries have attracted much attention in the database research community. Space partitioning techniques, such as recursive division of the data space, have been ...