33356 search results - page 125 / 6672 » Models of Continual Computation |
154
Voted
TKDE
2008
15 years 4 months ago
2008
Given a dataset P, a k-means query returns k points in space (called centers), such that the average squared distance between each point in P and its nearest center is minimized. S...
149
click to vote
TC
2010
14 years 11 months ago
2010
Continued logarithms, as originally introduced by Gosper, represent a means for exact rational arithmetic, but their application to exact real arithmetic is limited by the uniquene...
124
click to vote
AUTOMATICA
2010
15 years 4 months ago
2010
: The standard continuous time state space model with stochastic disturbances the mathematical abstraction of continuous time white noise. To work with well defined, discrete time ...
150
click to vote
ICMCS
2008
IEEE
15 years 11 months ago
2008
IEEE
We address the problem of keyword spotting in continuous speech streams when training and testing conditions can be different. We propose a keyword spotting algorithm based on spa...
231
Voted
CP
2009
Springer
16 years 5 months ago
2009
Springer
Abstract. In this paper, we show how model-checking can be generalized to temporal logic constraint solving, by considering temporal logic formulae with free variables over some do...