7820 search results - page 282 / 1564 » Formalization of Time and Space |
201
click to vote
ICASSP
2011
IEEE
14 years 11 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...
202
click to vote
ICLP
2005
Springer
16 years 26 days ago
2005
Springer
We present a methodology for the modeling of complex program behavior in CLP. In the first part we present an informal description about how to represent a system in CLP. At its ...
200
click to vote
CIKM
2008
Springer
15 years 9 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...
207
click to vote
CAV
1992
Springer
15 years 11 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...
200
click to vote
GECCO
2006
Springer
15 years 11 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...