7121 search results - page 126 / 1425 » Functions as Session-Typed Processes |
100
click to vote
WCE
2007
14 years 11 months ago
2007
Abstract— The problem of estimating the intensity process of a doubly stochastic Poisson process is analyzed. Using covariance information, a recursive linear minimum mean-square...
159
click to vote
SIGMOD
2005
ACM
15 years 10 months ago
2005
ACM
With XQuery becoming the standard language for querying XML, and the relational SQL platform being recognized as an important platform to store and process XML, the SQL/XML standa...
ICCAD
1998
IEEE
15 years 2 months ago
1998
IEEE
In this paper, an approach to symbolic model checking of process networks is introduced. It is based on interval decision diagrams (IDDs), a representation of multi-valued functio...
NIPS
2000
14 years 11 months ago
2000
We introduce total wire length as salient complexity measure for an analysis of the circuit complexity of sensory processing in biological neural systems and neuromorphic engineer...
ICASSP
2010
IEEE
14 years 10 months ago
2010
IEEE
The exponential embedding of two or more probability density functions (PDFs) is proposed for multimodal sensor processing. It approximates the unknown PDF by exponentially embedd...