Compendium

Known as: GIBIS 
Compendium is a computer program and social science tool that facilitates the mapping and management of ideas and arguments. The software provides a… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1935-2018
0204019352017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
attribute is the integration of novel techniques such as multi-agent systems or semantics with the current " old-fashioned… (More)
  • figure 1
  • figure 2
  • table I
  • figure 3
  • figure 4
Is this relevant?
2010
2010
Now welcome, the most inspiring book today from a very professional writer in the world, developments and challenges for… (More)
Is this relevant?
2007
2007
Models in process algebra with abstract data types can be analysed by state space generation and reduction tools. The μCRL… (More)
  • table 1
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
2006
2006
This paper focuses on mapping information, ideas and arguments in virtual learning environments, as part of ongoing research into… (More)
  • figure 1
  • figure 4
  • table 1
  • figure 4
Is this relevant?
Highly Cited
2004
Highly Cited
2004
The ASTRAL Compendium provides several databases and tools to aid in the analysis of protein structures, particularly through the… (More)
  • figure 1
Is this relevant?
2002
2002
This paper reports on the MIZAR formalization of the theory of continuous lattices as presented in Gierz et al.: A Compendium of… (More)
  • table I
  • table II
  • table III
  • table IV
  • table V
Is this relevant?
Highly Cited
2001
Highly Cited
2001
In this paper, we describe the Compendium methodology and suite of tools. Compendium is the result of over a decade's research… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2001
2001
In this paper, we describe the Compendium methodology and suite of tools. Compendium is the result of over a decade's research… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
1997
1997
The last few years have seen an extremely prolific research activity in the field of design and analysis of approximation… (More)
  • figure 1
  • figure 2
Is this relevant?
1988
1988
This paper covers the development of a chess playing program. The preliminary planning led to the decision to use a variable… (More)
Is this relevant?