2251 search results - page 306 / 451 » Specification and Implementation Problems for C |
125
click to vote
SP
2003
IEEE
15 years 10 months ago
2003
IEEE
A challenging unsolved security problem is how to specify and enforce system-wide security policies; this problem is even more acute in distributed systems with mutual distrust. T...
140
Voted
AGENTS
1997
Springer
15 years 9 months ago
1997
Springer
Animated pedagogical agents o er great promise for knowledge-based learning environments. In addition to coupling feedback capabilities with a strong visual presence, these agents...
167
click to vote
AAAI
2007
15 years 7 months ago
2007
We present in this paper a hybrid planning system which combines constraint satisfaction techniques and planning heuristics to produce optimal sequential plans. It integrates its ...
134
click to vote
IJCAI
2007
15 years 6 months ago
2007
Enforcing arc consistency (AC) during search has proven to be a very effective method in solving Constraint Satisfaction Problems and it has been widely-used in many Constraint Pr...
166
click to vote
IJCAI
2001
15 years 6 months ago
2001
The AC-3 algorithm is a basic and widely used arc consistency enforcing algorithm in Constraint Satisfaction Problems (CSP). Its strength lies in that it is simple, empirically ef...