1200 search results - page 59 / 240 » Marked Ancestor Problems |
CSCW
1996
ACM
14 years 2 months ago
1996
ACM
This research examines a collaborative solution to a common problem, that of providing help to distributed users. The Answer Garden 2 system provides a secondgeneration architectu...
CADE
1992
Springer
14 years 2 months ago
1992
Springer
Theorem provers based on model elimination have exhibited extremely high inference rates but have lacked a redundancy control mechanism such as subsumption. In this paper we repor...
ITS
1992
Springer
14 years 2 months ago
1992
Springer
One aim of intelligent tutoring systems is to tailor lessons to each individual student's needs. To do this a tutoring system requires a model of the student's knowledge...
ACSD
2004
IEEE
14 years 1 months ago
2004
IEEE
This paper reviews a proposal for the modular analysis of Petri nets and its applicability to factory automation systems. It presents new algorithms to harness this modular analys...
CAIP
1995
Springer
14 years 1 months ago
1995
Springer
A dual active contour can use two snakes to seek an energy minimum which lies between their initial positions. This relieves problems associated with initialisation. The contracti...