7121 search results - page 254 / 1425 » Functions as Session-Typed Processes |
158
click to vote
TIT
2011
15 years 1 months ago
2011
In this paper, we establish a many-sources large deviations principle (LDP) for the stationary workload of a multi-queue single-server system with simplex capacity, operated under...
162
click to vote
ICONIP
1998
15 years 8 months ago
1998
Many real processes are composed of a n-fold repetition of some simpler process. If the whole process can be modelled with a neural network, we present a method to derive a model ...
174
click to vote
APL
1993
ACM
15 years 10 months ago
1993
ACM
This paper describes the design of a hybrid language which combines the features of an array processing language and lisp dialect in a consistent and useful manner. This language,...
194
click to vote
VLSID
2008
IEEE
16 years 7 months ago
2008
IEEE
This paper demonstrates a formal verificationplanning process and presents associated verification strategy that we believe is an essential (yet often neglected) step in an ASIC o...
154
click to vote
DAGM
2008
Springer
15 years 8 months ago
2008
Springer
In this work, we present a combined approach to tracking and reconstruction. An implicit feedback of 3d information to the tracking process is achieved by optimizing a single error...