3600 search results - page 70 / 720 » The settling-time reducibility ordering |
167
click to vote
LICS
2006
IEEE
16 years 2 days ago
2006
IEEE
We prove that the modal mu-calculus model-checking problem for (ranked and ordered) node-labelled trees that are generated by order-n recursion schemes (whether safe or not, and w...
165
click to vote
ECCC
2010
15 years 3 months ago
2010
We investigate the number of samples required for testing the monotonicity of a distribution with respect to an arbitrary underlying partially ordered set. Our first result is a n...
199
click to vote
CGF
2011
14 years 9 months ago
2011
High-dimensional data visualization is receiving increasing interest because of the growing abundance of highdimensional datasets. To understand such datasets, visualization of th...
281
click to vote
ICDE
2009
IEEE
16 years 7 months ago
2009
IEEE
XML streams, such as RSS feeds or complex event streams, are becoming increasingly pervasive as they provide the foundation for a wide range of emerging applications. An important...
165
click to vote
NN
2007
Springer
16 years 5 days ago
2007
Springer
The signature of neuronal assemblies is the higher-order correlation structure of the spiking activity of the participating neurons. Due to the rapid progress in recording technol...