1102 search results - page 22 / 221 » Interactive Refinement of a Knowledge Base |
HICSS
2002
IEEE
14 years 1 months ago
2002
IEEE
Research within knowledge management tends to either overemphasize or underestimate the role of Information and Communication Technology (ICT). Furthermore, much of the ICT suppor...
HCI
2007
13 years 10 months ago
2007
In recent years high quality interaction devices have become very popular in our environment. The industries are also currently undergoing rapid change and various technologies hav...
JAR
2007
13 years 9 months ago
2007
Matita is a new, document-centric, tactic-based interactive theorem prover. This paper focuses on some of the distinctive features of the user interaction with Matita, characterize...
BMCBI
2010
13 years 9 months ago
2010
Background: Accurate evaluation and modelling of residue-residue interactions within and between proteins is a key aspect of computational structure prediction including homology ...
CHI
1994
ACM
14 years 1 months ago
1994
ACM
We present three novel tools for creating data graphics: (1) SageBrush, for assembling graphics from primitive objects like bars, lines and axes, (2) SageBook, for browsing previo...