Search Sciweavers | Sciweavers

13090 search results - page 385 / 2618

» Usable artificial intelligence

151

click to vote

AIS
2006
Springer

111views Artificial Intelligence» more AIS 2006»

The Electronic Schoolbag, a CSCW workspace: presentation and evaluation

15 years 6 months ago

Download www.syscom.univ-savoie.fr

Ghislaine Chabert, Jean-Charles Marty, Bernard Car...

claim paper

Read More »

190

click to vote

AMAI
2006
Springer

85views Artificial Intelligence» more AMAI 2006»

Tableau-based automata construction for dynamic linear time temporal logic*

15 years 6 months ago

Download www.di.unito.it

We present a tableau-based algorithm for obtaining a B

Laura Giordano, Alberto Martelli

claim paper

Read More »

click to vote

KI
2008
Springer

63views Artificial Intelligence» more KI 2008»

Trustable Task Processing Systems

15 years 6 months ago

Download www-ksl.stanford.edu

Alyssa Glass, Deborah L. McGuinness, Paulo Pinheir...

claim paper

Read More »

135

click to vote

KI
2006
Springer

137views Artificial Intelligence» more KI 2006»

The RoboCup Rescue Team Deutschland1

15 years 6 months ago

Download www.volksbot.de

Andreas Nüchter, Kai Lingemann, Joachim Hertz...

claim paper

Read More »

106

click to vote

AI
2005
Springer

76views Artificial Intelligence» more AI 2005»

Sensor networks and distributed CSP: communication, computation and complexity

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers