5639 search results - page 875 / 1128 » Timed Abstract Non-interference |
133
Voted
ITS
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. Lifelike animated agents for knowledge-based learning environments can provide timely, customized advice to support leaners' problem-solving activities. By drawing o...
133
click to vote
JELIA
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. One of the maincharacteristics of logical reasoning in knowledge based systems is its high computational complexity. Anytime deduction and anytime compilation are two att...
167
click to vote
KI
1998
Springer
15 years 7 months ago
1998
Springer
The control of mobile robots acting autonomously in the real world is one of the long-term goals of the field of artificial intelligence. So far the field lacks methods bridging th...
143
click to vote
PEPM
1998
ACM
15 years 7 months ago
1998
ACM
Abstract. We use a code generator--type-directed partial evaluation-to verify conversions between isomorphic types, or more precisely to verify that a composite function is the ide...
138
click to vote
IPPS
1997
IEEE
15 years 7 months ago
1997
IEEE
Abstract. The incremental and dynamic construction of interconnection networks from smaller components often leaves the fundamental problem of assigning addresses to processors to ...