Sciweavers

13090 search results - page 100 / 2618

» Usable artificial intelligence

119

ICTAI
1996
IEEE

81views Artificial Intelligence» more ICTAI 1996»

Oz Scheduler: A Workbench for Scheduling Problems

15 years 8 months ago

Oz Scheduler: A Workbench for Scheduling Problems

Download www.coli.uni-saarland.de

Jörg Würtz

claim paper

Read More »

108

KI
1997
Springer

74views Artificial Intelligence» more KI 1997»

Qualitative Spatial Representation and Reasoning Techniques

15 years 8 months ago

Qualitative Spatial Representation and Reasoning Techniques

Download userpages.umbc.edu

Anthony G. Cohn

claim paper

Read More »

105

KI
1997
Springer

71views Artificial Intelligence» more KI 1997»

Reducing Lexical Redundancy by Augmenting Conceptual Knowledge

15 years 8 months ago

Reducing Lexical Redundancy by Augmenting Conceptual Knowledge

Download pi7.fernuni-hagen.de

Sven Hartrumpf, Marion Schulz

claim paper

Read More »

110

KI
1997
Springer

98views Artificial Intelligence» more KI 1997»

COLBERT: A Language for Reactive Control in Sapphira

15 years 8 months ago

COLBERT: A Language for Reactive Control in Sapphira

Download www.macalester.edu

Kurt Konolige

claim paper

Read More »

94

LFCS
1997
Springer

82views Artificial Intelligence» more LFCS 1997»

Type Introduction for Equational Rewriting

15 years 8 months ago

Type Introduction for Equational Rewriting

Download staff.aist.go.jp

Hitoshi Ohsaki, Aart Middeldorp

claim paper

Read More »

« Prev « First page 100 / 2618 Last » Next »