3392 search results - page 196 / 679 » Using Knowledge Representation to Understand Interactive Sys... |
128
Voted
IUI
2005
ACM
15 years 9 months ago
2005
ACM
This paper reports on TaskTracer — a software system being designed to help highly multitasking knowledge workers rapidly locate, discover, and reuse past processes they used to...
167
click to vote
ACSAC
2005
IEEE
15 years 9 months ago
2005
IEEE
Understanding the security goals provided by cryptographic protocol implementations is known to be difficult, since security requirements such as secrecy, integrity and authentici...
139
click to vote
APVIS
2008
15 years 5 months ago
2008
Large amounts of time-varying datasets create great challenges for users to understand and explore them. This paper proposes an efficient visualization method for observing overal...
178
click to vote
CORR
2011
Springer
14 years 11 months ago
2011
Springer
Ontologies and rules are usually loosely coupled in knowledge representation formalisms. In fact, ontologies use open-world reasoning while the leading semantics for rules use non...
145
click to vote
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
In this paper we combine existing work in the area of social laws with a framework for reasoning about knowledge in multi-agent systems. The unifying framework in which this is do...