6168 search results - page 1009 / 1234 » Research methods for HCI |
177
click to vote
WSC
1997
15 years 8 months ago
1997
Model abstraction using metamodeling has demonstrated the capability to facilitate software reuse, large scale model integration, verification, and validation. Once restricted to...
172
click to vote
AAAI
1994
15 years 8 months ago
1994
CAT0 is an instructions environment for practicing basic skills of legal research: to use cases in arguments about a problem situation and to test a theory about a legal domain. U...
214
click to vote
AAAI
1996
15 years 8 months ago
1996
Research on mobile robot navigation has produced two major paradigms for mapping indoorenvironments: grid-based and topological. While grid-based methods produce accurate metric m...
167
click to vote
FTCS
1996
15 years 8 months ago
1996
In the research reported in this paper, transient faults were injected in the nodes and in the communication subsystem (by using software fault injection) of a commercial parallel...
154
click to vote
ISMB
1993
15 years 8 months ago
1993
This paper presents results from an ongoing effort in applying a variety of induction-based methods to the problem of predicting the biological activity of noncongeneric (structu...