6885 search results - page 143 / 1377 » The micro-structure of use of help |
169
click to vote
NIPS
2004
15 years 7 months ago
2004
The equivalent kernel [1] is a way of understanding how Gaussian process regression works for large sample sizes based on a continuum limit. In this paper we show (1) how to appro...
202
click to vote
WSCG
2003
15 years 7 months ago
2003
Computer-aided analysis of four-dimensional tomography data has become an important tool in modern cardiology. In order to examine the capability and health of a patient’s cardi...
150
click to vote
IWFM
1998
15 years 7 months ago
1998
In this paper, we present a proof that the bitonic sort is sound using PVS, a powerful specification and verification environment. First, we briefly introduce this well-known para...
169
click to vote
BCSHCI
2009
15 years 7 months ago
2009
User modelling is widely used in HCI but there are very few systematic HCI modelling tools for people with disabilities. We are developing user models to help with the design and ...
188
click to vote
ICANN
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. In this article we exploit the discrete-time dynamics of a single neuron with self-connection to systematically design simple signal filters. Due to hysteresis effects an...