Sciweavers

33356 search results - page 100 / 6672
» Models of Continual Computation
Sort
View
FLOPS
2004
Springer
15 years 9 months ago
Semantics of Linear Continuation-Passing in Call-by-Name
We propose a semantic framework for modelling the linear usage of continuations in typed call-by-name programming languages. On the semantic side, we introduce a construction for c...
Masahito Hasegawa
NIPS
2004
15 years 5 months ago
Multiple Alignment of Continuous Time Series
Multiple realizations of continuous-valued time series from a stochastic process often contain systematic variations in rate and amplitude. To leverage the information contained i...
Jennifer Listgarten, Radford M. Neal, Sam T. Rowei...
WINE
2007
Springer
122views Economy» more  WINE 2007»
15 years 10 months ago
Continuity Properties of Equilibrium Prices and Allocations in Linear Fisher Markets
Abstract. Continuity of the mapping from initial endowments and utilities to equilibria is an essential property for a desirable model of an economy – without continuity, small e...
Nimrod Megiddo, Vijay V. Vazirani
ICASSP
2011
IEEE
14 years 8 months ago
Continuous audio analytics by HMM and Viterbi decoding
We address the problem of audio analytics with respect to efficient modeling of audio classes and continuous decoding of audio stream to automatically segment and label the audio...
V. Ramasubramanian, R. Karthik, S. Thiyagarajan, S...