6020 search results - page 1049 / 1204 » A New Approach to Model Counting |
172
click to vote
TRUST
2009
Springer
16 years 27 days 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...
152
click to vote
WEBDB
2009
Springer
16 years 27 days 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...
175
click to vote
ATC
2009
Springer
16 years 27 days 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 ...
144
click to vote
ICCS
2009
Springer
16 years 26 days 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...
181
click to vote
IDA
2009
Springer
16 years 26 days 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 ...