1082 search results - page 98 / 217 » interactions 2000 |
ZUM
2000
Springer
14 years 26 days ago
2000
Springer
Abstract. This paper presents some of our requirements for a Z typechecker: that the typechecker accept all well-typeable formulations, however contrived; that it gather informatio...
AAAI
2000
13 years 10 months ago
2000
Changing the way users interact with their data is the principal objective of the Listen, Communicate, Show (LCS) paradigm. LCS is a new paradigm being applied to Marine Corps tac...
AAAI
2000
13 years 10 months ago
2000
We describe our development of Cobot, a software agent who lives in LambdaMOO, a popular virtual world frequented by hundreds of users. We present a detailed discussion of the fun...
CRIWG
2000
13 years 10 months ago
2000
This paper describes a support system for group decision-making. The system is based on a database of typical decision cases and also an underlying model of the group decision pro...
FLAIRS
2000
13 years 10 months ago
2000
Many knowledge acquisition approaches have been proposed to minimize the cognitive effort in knowledgebased system construction. The knowledge acquisition approach proposed here p...