6020 search results - page 1049 / 1204 » A New Approach to Model Counting |
189
click to vote
TRUST
2009
Springer
16 years 1 months ago
2009
Springer
UCON is a highly flexible and expressive usage control model which allows an object owner to specify detailed usage control policies to be evaluated on a remote platform. Assuranc...
162
click to vote
WEBDB
2009
Springer
16 years 1 months ago
2009
Springer
Web archives play an important role in preserving our cultural heritage for future generations. When searching them, a serious problem arises from the fact that terminology evolve...
203
click to vote
ATC
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. An Organic Computing system has the ability to autonomously (re-)organize and adapt itself. Such a system exhibits so called self-x properties (e.g. self-healing) and is ...
155
click to vote
ICCS
2009
Springer
16 years 1 months ago
2009
Springer
Recent years have seen growth in the number of algorithms designed to solve challenging simulation-based nonlinear optimization problems. One such algorithm is the Trust-Region Par...
201
click to vote
IDA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Accurately evaluating statistical independence among random variables is a key component of Independent Component Analysis (ICA). In this paper, we employ a squared-loss ...