1712 search results - page 154 / 343 » Abstract Constraint Data Types |
115
click to vote
CVPR
2010
IEEE
15 years 7 months ago
2010
IEEE
In this paper we derive formal constraints relating terrain elevation and observed cast shadows. We show how an optimisation framework can be used to refine surface estimates usin...
114
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
This paper offers several contributions for separation of duty (SoD) administration in role-based access control (RBAC) systems. We first introduce a new formal framework, based o...
107
click to vote
DATE
2007
IEEE
15 years 9 months ago
2007
IEEE
We propose a robust circuit-based Boolean Satisfiability (SAT) solver, QuteSAT, that can be applied to complex circuit netlist structure. Several novel techniques are proposed in ...
115
click to vote
ML
2008
ACM
15 years 3 months ago
2008
ACM
Pattern discovery techniques, such as association rule discovery, explore large search spaces of potential patterns to find those that satisfy some user-specified constraints. Due...
181
click to vote
FROCOS
2011
Springer
14 years 2 months ago
2011
Springer
Temporal data models have been used to describe how data can evolve in the context of temporal databases. Both the Extended Entity-Relationship (EER) model and the Unified Modelli...