661 search results - page 45 / 133 » Combining Information using Hard Constraints |
216
click to vote
SACMAT
2009
ACM
16 years 2 days ago
2009
ACM
An access control system is often viewed as a state transition system. Given a set of access control policies, a general safety requirement in such a system is to determine whethe...
126
click to vote
AIPS
1994
15 years 6 months ago
1994
This paper describes work on the Multimission VICARPlanner (MVP) system to automatically construct executable imageprocessing procedures for custom image processing requests for t...
139
Voted
AUSAI
2004
Springer
15 years 11 months ago
2004
Springer
Most propagation-based set constraint solvers approximate the set of possible sets that a variable can take by upper and lower bounds, and perform so-called set bounds propagation....
193
click to vote
AOSD
2011
ACM
15 years 18 days ago
2011
ACM
A Software Product Line (SPL) is a family of programs where each program is defined by a unique combination of features. Testing or checking properties of an SPL is hard as it ma...
141
click to vote
NDJFL
2000
15 years 5 months ago
2000
We present an approach to combining three areas of research which we claim are all based on information theory: knowledge representation in Artificial Intelligence and Cognitive Sc...