2661 search results - page 385 / 533 » Model Checking Performability Properties |
WOSS
2004
ACM
14 years 3 months ago
2004
ACM
Components in a decentralised system are faced with uncertainty as how to best adapt to a changing environment to maintain or optimise system performance. How can individual compo...
ICIP
2003
IEEE
14 years 3 months ago
2003
IEEE
We describe a general framework to design optimal image processing algorithms for polarimetric images formed with coherent radiations, which can be optical or microwave. Starting ...
IUI
2000
ACM
14 years 2 months ago
2000
ACM
CT How can an adaptive intelligent interface decide what particular action to perform in a given situation, as a function of perceived properties of the user and the situation? Ide...
AAAI
2010
13 years 11 months ago
2010
As users of social networking websites expand their network of friends, they are often flooded with newsfeed posts and status updates, most of which they consider to be understand...
ICONIP
2008
13 years 11 months ago
2008
Mass spectrometry (MS) is a key technique for the analysis and identification of proteins. A prediction of spectrum peak intensities from pre computed molecular features would pave...