114 search results - page 16 / 23 » Implementing Propagators for Tabular Constraints |
KR
2000
Springer
13 years 11 months ago
2000
Springer
Recent experimental results have shown that the strength of resolution, the propositional DPLL procedure, the KSAT procedure for description logics, or related tableau-like implem...
ICIP
2007
IEEE
14 years 9 months ago
2007
IEEE
The segmentation and recognition modules are usually implemented sequentially in most traditional automatic license recognition (LPR) systems. In this work, we integrate segmentat...
ICRA
2008
IEEE
14 years 2 months ago
2008
IEEE
— Modeling robot motion planning with uncertainty in a Bayesian framework leads to a computationally intractable stochastic control problem. We seek hypotheses that can justify a...
NETCOOP
2007
Springer
14 years 2 months ago
2007
Springer
In shortest path routing, traffic is routed along shortest paths defined by link weights. However, not all path systems are feasible in that they can be realized in this way. This...
INFOSCALE
2007
ACM
13 years 9 months ago
2007
ACM
A flexible mandatory access control policy (MAC) for XML databases is presented in this paper. The label type and label access policy can be defined according to the requirements ...