999 search results - page 119 / 200 » Constraints in Non-Boolean Contexts |
142
click to vote
GSEM
2007
Springer
16 years 10 days ago
2007
Springer
In order to manage and enforce multiple heterogeneous authorization policies in distributed authorization environment, we defined the root policy specification language and its cor...
213
click to vote
VLDB
2007
ACM
16 years 8 days ago
2007
ACM
The recent upsurge in the interest in Semantic Web services and the high-profile projects such as the WSMO, OWLS, and SWSL, have drawn attention to the importance of logic-based ...
184
click to vote
IROS
2006
IEEE
16 years 6 days ago
2006
IEEE
— The goal of this paper is to present an overview of robust estimation techniques with a special focus on robotic vision applications. In this particular context, constraints du...
146
click to vote
ASPDAC
2005
ACM
15 years 11 months ago
2005
ACM
— In this paper we present new lower bounds on BDD size. These lower bounds are derived from more general lower bounds that recently were given in the context of exact BDD minimi...
162
click to vote
RSFDGRC
2005
Springer
15 years 11 months ago
2005
Springer
We discuss the problems of spatio-temporal reasoning in the context of hierarchical information maps and approximate reasoning networks (AR networks). Hierarchical information maps...