7121 search results - page 277 / 1425 » Functions as Session-Typed Processes |
150
click to vote
ICIP
2004
IEEE
16 years 8 months ago
2004
IEEE
In this contribution we present an algorithm for spatial error concealment of lost image data caused by transmission of images in error prone environments. The surrounding correct...
132
click to vote
ICIP
1998
IEEE
16 years 8 months ago
1998
IEEE
We present a framework for designing fast and monotonic algorithms for transmission tomography penalizedlikelihood image reconstruction. The new algorithms are based on paraboloid...
169
click to vote
VLSI
2007
Springer
16 years 21 days ago
2007
Springer
— Software simulation remains the most used method for VHDL RTL functional verification. The functional verification process essentially consists of two parts. The first one is t...
166
click to vote
EACL
1993
ACL Anthology
15 years 8 months ago
1993
ACL Anthology
Semantic theories of natural language associate meanings with utterances by providing meanings for lexical items and rules for determining the meaning of larger units given the me...
166
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
Partially Observable Markov Decision Process (POMDP) is a popular framework for planning under uncertainty in partially observable domains. Yet, the POMDP model is riskneutral in ...