7121 search results - page 222 / 1425 » Functions as Session-Typed Processes |
169
click to vote
UAI
2003
15 years 7 months ago
2003
This paper examines a number of solution methods for decision processes with non-Markovian rewards (NMRDPs). They all exploit a temporal logic specification of the reward functio...
172
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
This paper investigates the decentralized detection of Hidden Markov Processes using the NeymanPearson test. We consider a network formed by a large number of distributed sensors....
183
click to vote
CVIU
2007
15 years 6 months ago
2007
Nowadays color image processing is an essential issue in computer vision. Variational formulations provide a framework for color image restoration, smoothing and segmentation prob...
213
click to vote
ANSOFT
2002
15 years 6 months ago
2002
Web applications can be classified as hybrids between hypermedia and information systems. They have a relatively simple distributed architecture from the user viewpoint, but a comp...
191
click to vote
EKNOW
2010
15 years 1 months ago
2010
Nowadays, industry and governments are faced with an increasing number of varying threats concerning the security of their valuable business processes. Due to the vast damage pote...