319 search results - page 39 / 64 » Dynamically inferring temporal properties |
NIPS
2008
13 years 9 months ago
2008
We introduce a new probability distribution over a potentially infinite number of binary Markov chains which we call the Markov Indian buffet process. This process extends the IBP...
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
In this paper we describe a deconvolution technique for obtaining an approximation of the neuronal signal from an observed hemodynamic response in fMRI data. Our approach, based o...
INFOCOM
2010
IEEE
13 years 6 months ago
2010
IEEE
—Dynamic spectrum trading amongst small cognitive users is fundamentally different along two axes: temporal variation, and spatial variation of user demand and channel condition....
PODS
2008
ACM
14 years 7 months ago
2008
ACM
Active XML is a high-level specification language tailored to dataintensive, distributed, dynamic Web services. Active XML is based on XML documents with embedded function calls. ...
ENTCS
2006
13 years 7 months ago
2006
We propose a formal method to validate the reliability of a web application, by modeling interactions among its constituent objects. Modeling exploits the recent "Multiple Le...