Search Sciweavers | Sciweavers

13090 search results - page 377 / 2618

» Usable artificial intelligence

144

click to vote

FLAIRS
2008

124views Artificial Intelligence» more FLAIRS 2008»

Applicative and Combinatory Categorial Grammar: Analysis of the French Interrogative Sentences

15 years 9 months ago

Download www.aaai.org

The Applicative and Combinatory Categorial Grammar (ACCG) (Biskri, Descl

Aurélie Rossi

claim paper

Read More »

132

Voted

AISC
2008
Springer

86views Artificial Intelligence» more AISC 2008»

Logic-Free Reasoning in Isabelle/Isar

15 years 8 months ago

Download www4.in.tum.de

Traditionally a rigorous mathematical document consists of a sequence of definition

Stefan Berghofer, Makarius Wenzel

claim paper

Read More »

183

click to vote

ANTSW
2008
Springer

121views Artificial Intelligence» more ANTSW 2008»

The Small World of Pheromone Trails

15 years 8 months ago

Download www.paola.pellegrini.it

In this paper we consider MAX

Paola Pellegrini, Andrea Ellero

claim paper

Read More »

134

click to vote

AIED
2005
Springer

83views Artificial Intelligence» more AIED 2005»

An ITS for medical classification problem-solving: Effects of tutoring and representations

15 years 8 months ago

Download slidetutor.upmc.edu

Rebecca S. Crowley, Elizabeth Legowski, Olga Medve...

claim paper

Read More »

128

click to vote

DRM
2005
Springer

99views Artificial Intelligence» more DRM 2005»

New broadcast encryption scheme using tree-based circle

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers