3573 search results - page 594 / 715 » Reasoning about Codata |
111
Voted
ACIIDS
2010
IEEE
14 years 10 months ago
2010
IEEE
The environments in which ambient agents are used often may be described by dynamical models, for example in the form of a set of differential equations. In this paper an ambient a...
131
click to vote
ICDIM
2010
IEEE
14 years 10 months ago
2010
IEEE
We present a risk management framework which allows to reason about and manage risk for role based access control systems. The framework expresses essential characteristics of risk...
117
Voted
ICFEM
2010
Springer
14 years 10 months ago
2010
Springer
Design patterns are rarely used on their own. They are almost always to be found composed with each other in real applications. So it is crucial that we can reason about their comp...
95
Voted
ICIP
2010
IEEE
14 years 10 months ago
2010
IEEE
In [1], we derived an expression for the fundamental limit to image denoising assuming that the noise-free image is available. In this paper, we propose an estimator for the bound...
133
click to vote
ACL
2009
14 years 10 months ago
2009
Searching for a person name in a Web Search Engine usually leads to a number of web pages that refer to several people sharing the same name. In this paper we study whether it is ...