1188 search results - page 128 / 238 » States of Knowledge |
110
click to vote
WLP
2004
Springer
15 years 4 months ago
2004
Springer
Constraint programming provides a declarative approach to solving combinatorial (optimization) problems. The user just states the problem as a constraint satisfaction problem (CSP)...
120
click to vote
CSFW
2003
IEEE
15 years 4 months ago
2003
IEEE
We provide a framework for reasoning about information-hiding requirements in multiagent systems and for reasoning about anonymity in particular. Our framework employs the modal l...
IPPS
2003
IEEE
15 years 4 months ago
2003
IEEE
We propose a new representation to describe mobile agents computations, where the underlying control structures are diffusing computations. Usually, distributed coms are abstracte...
ISIPTA
2003
IEEE
15 years 4 months ago
2003
IEEE
Set-valued estimation offers a way to account for imprecise knowledge of the prior distribution of a Bayesian statistical inference problem. The set-valued Kalman filter, which p...
EMSOFT
2003
Springer
15 years 4 months ago
2003
Springer
Abstract. To guarantee timeliness in hard real-time systems the knowledge of the worst-case execution time (WCET) for its time-critical tasks is mandatory. Accurate and correct WCE...