Sciweavers

82
Voted
AMAI
2000
Springer
15 years 8 days ago
A taxonomy of parallel strategies for deduction
Maria Paola Bonacina
AIS
2000
Springer
15 years 8 days ago
The Evolve project: Component-based tailorability for CSCW applications
Tailorability is generally regarded as a key property of groupware systems due to the dynamics and differentiation of cooperative work. This article investigates the use of softwa...
Oliver Stiemerling, Armin B. Cremers
82
Voted
AIS
2000
Springer
15 years 8 days ago
Electronic Meeting Support for Councils
Gerhard Schwabe, Helmut Krcmar
90
Voted
AIS
2000
Springer
15 years 8 days ago
The culture of the artificial
The expression 'nature of the artificial' can be understood in (at least) two distinct, yet possibly related, senses as denoting (i) the essence (or whatness) of the art...
Massimo Negrotti
90
Voted
AIS
2000
Springer
15 years 8 days ago
A comparison between Maya hieroglyphs and computer icons
Interface design normally follows the traditional approach of Art and Design, which requires reworking to refine an idea through visual playfulness until a solution has been achiev...
Paul Honeywill
191
Voted
AIS
2000
Springer
15 years 8 days ago
Recommended reading
98
Voted
AIS
2000
Springer
15 years 8 days ago
Early-connectionism machines
: In this paper I put forward a reconstruction of the evolution of certain explanatory hypotheses on the neural basis of association and learning that are the premises of connectio...
Roberto Cordeschi
AI
2000
Springer
15 years 8 days ago
Proving theorems by reuse
We investigate the improvement of theorem proving by reusing previously computed proofs. We have developed and implemented the PLAGIATOR system which proves theorems by mathematic...
Christoph Walther, Thomas Kolbe