1664 search results - page 141 / 333 » Towards Partial Reasoning |
140
click to vote
JELIA
1998
Springer
15 years 8 months ago
1998
Springer
Successor state axioms are an optimal solution to the famous Frame Problem in reasoning about actions--but only as far as its representational aspect is concerned. We show how by g...
129
click to vote
ATAL
2007
Springer
15 years 8 months ago
2007
Springer
The vision of ubiquitous computing is one in which resource constrained mobile devices form ad-hoc networks to enable the delivery of services that are sensitive and responsive to...
120
click to vote
CVPR
2009
IEEE
15 years 8 months ago
2009
IEEE
Boosted by the Middlebury challenge, the precision of dense multi-view stereovision methods has increased drastically in the past few years. Yet, most methods, although they perfo...
121
click to vote
EUROMICRO
2004
IEEE
15 years 8 months ago
2004
IEEE
This paper addresses the prediction of timing properties of a component-based application already during the composition phase. At this stage, it is of vital importance to guarant...
143
click to vote
CSFW
2010
IEEE
15 years 8 months ago
2010
IEEE
—Although policy compliance testing is generally treated as a binary decision problem, the evidence gathered during the trust management process can actually be used to examine t...