Sciweavers

126 search results - page 3 / 26

» ki 2007

120

KI
2007
Springer

95views Artificial Intelligence» more KI 2007»

Deep Inference for Automated Proof Tutoring?

16 years 13 hour ago

Deep Inference for Automated Proof Tutoring?

Download www.informatik.uni-bremen.de

Christoph Benzmüller, Dominik Dietrich, Marvi...

claim paper

Read More »

122

KI
2007
Springer

113views Artificial Intelligence» more KI 2007»

15 years 5 months ago

Download www.cosasco.com

Markus Nick, Sören Schneickert, Jürgen G...

claim paper

Read More »

105

KI
2007
Springer

75views Artificial Intelligence» more KI 2007»

Measurability, Representation and Interpretation of Spatial Usage in Knowledge-Sharing Environments - A Descriptive Model Based

16 years 12 hour ago

Measurability, Representation and Interpretation of Spatial Usage in Knowledge-Sharing Environments - A Descriptive Model Based

Download sunsite.informatik.rwth-aachen.de

Teresa Heitor, Ana Maria Tomé, Paulo Dimas,...

claim paper

Read More »

124

HCI
2001

99views Human Computer Interaction» more HCI 2001»

ViKI: a virtual keyboard interface for the handicapped

15 years 7 months ago

ViKI: a virtual keyboard interface for the handicapped

Download cs.millersville.edu

Blaise W. Liffick

claim paper

Read More »

140

WLP
2007
Springer

222views Artificial Intelligence» more WLP 2007»

The Kiel Curry System KiCS

15 years 12 months ago

The Kiel Curry System KiCS

Download www.informatik.uni-kiel.de

This paper presents the Kiel Curry System (KiCS) for the lazy functional logic language Curry. Its main features beyond other Curry implementations are: ﬂexible search control by...

Bernd Brassel, Frank Huch

claim paper

Read More »

« Prev « First page 3 / 26 Last » Next »