7121 search results - page 368 / 1425 » Functions as Session-Typed Processes |
179
click to vote
SCALESPACE
2007
Springer
16 years 25 days ago
2007
Springer
We address the problem of space-variant image deblurring, where different parts of the image are blurred by different blur kernels. Assuming a region-wise space variant point spr...
247
click to vote
IWRIDL
2006
ACM
16 years 20 days ago
2006
ACM
The importance of evaluation in promoting research and development in the information retrieval and natural language processing domains has long been recognised but is this suffic...
176
click to vote
LICS
2005
IEEE
16 years 9 days ago
2005
IEEE
A path-based domain theory for higher-order processes is extended to allow name generation. The original domain theory is built around the monoidal-closed category Lin consisting ...
192
Voted
PRDC
2005
IEEE
16 years 9 days ago
2005
IEEE
Although the main fault-tolerance techniques are known for a long time, there exists no consistent approach for implementing dependable applications in the sense that the fault-to...
213
click to vote
ICIAP
2005
ACM
16 years 7 days ago
2005
ACM
Abstract. This paper addresses the filtering problem when no assumption about linearity or gaussianity is made on the involved density functions. This approach, widely known as pa...