686 search results - page 24 / 138 » Nonmonotonic inference operations |
147
click to vote
AAAI
1998
15 years 7 months ago
1998
Wedescribe somenewpreprocessing techniques that enable faster domain-independentplanning. Thefirst set of techniquesis aimedat inferring state constraints from the structure of pl...
182
click to vote
ASIAN
2006
Springer
15 years 9 months ago
2006
Springer
Polyhedral analysis [9] is an abstract interpretation used for automatic discovery of invariant linear inequalities among numerical varia program. Convexity of this abstract domain...
162
click to vote
AIMS
2008
Springer
16 years 2 days ago
2008
Springer
It has been shown that sets of convergent operators with a shared fixed point can simulate autonomic control mechanisms, but many questions remain about this management technique....
134
click to vote
EUROSSC
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. In the domain of ubiquitous computing, the ability to identify the occurrence of situations is a core function of being ’contextaware’. Given the uncertain nature of ...
132
click to vote
DBSEC
2003
15 years 7 months ago
2003
In this paper we examine undesired inference attacks from distributed public XML documents. An undesired inference is a chain of reasoning that leads to protected data of an organ...