7121 search results - page 173 / 1425 » Functions as Session-Typed Processes |
159
click to vote
CDC
2009
IEEE
15 years 10 months ago
2009
IEEE
The explicit solution of the filtering problem with exponential criteria for a general Gaussian signal is obtained through an approach which is based on a conditional Cameron-Mart...
153
click to vote
HICSS
1995
IEEE
15 years 10 months ago
1995
IEEE
In our research we are developing methodologiesand tools to permit stochastic analyses of CSP-based system specifications. In this regard, we have been developing morphismsbetween...
153
click to vote
CF
2008
ACM
15 years 8 months ago
2008
ACM
We develop architectural techniques for mitigating the impact of process variability. Our techniques hide the performance effects of slow components--including registers, function...
162
click to vote
LREC
2010
15 years 7 months ago
2010
Delivering linguistic resources and easy-to-use methods to a broad public in the humanities is a challenging task. On the one hand users rightly demand easy to use interfaces but ...
158
click to vote
NIPS
2007
15 years 7 months ago
2007
Neural spike trains present challenges to analytical efforts due to their noisy, spiking nature. Many studies of neuroscientific and neural prosthetic importance rely on a smooth...