4502 search results - page 436 / 901 » Regular Model Checking |
165
click to vote
COLT
2006
Springer
15 years 10 months ago
2006
Springer
We address the problem of online de-noising a stream of input points. We assume that the clean data is embedded in a linear subspace. We present two online algorithms for tracking ...
162
click to vote
AAAI
2007
15 years 9 months ago
2007
We describe how a physical robot can learn about objects from its own autonomous experience in the continuous world. The robot identifies statistical regularities that allow it t...
176
click to vote
HCI
2007
15 years 8 months ago
2007
Sketching interface, as a user-friendly means for expression and communication, is not only an important medium for inputting 3D objects, but also a significant step of visualizing...
209
click to vote
CGF
2006
15 years 7 months ago
2006
Performances of actual mesh compression algorithms vary significantly depending on the type of model it encodes. These methods rely on prior assumptions on the mesh to be efficient...
163
click to vote
TIT
2002
15 years 6 months ago
2002
In this paper, the influence of a point spectrum on large sample statistics of the autoregressive (AR) spectral estimator is addressed. In particular, the asymptotic distributions ...