Search Sciweavers | Sciweavers

13026 search results - page 377 / 2606

» Creativity and Artificial Intelligence

143

click to vote

AISC
2008
Springer

86views Artificial Intelligence» more AISC 2008»

Logic-Free Reasoning in Isabelle/Isar

15 years 9 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 »

193

Voted

ANTSW
2008
Springer

121views Artificial Intelligence» more ANTSW 2008»

The Small World of Pheromone Trails

15 years 9 months ago

Download www.paola.pellegrini.it

In this paper we consider MAX

Paola Pellegrini, Andrea Ellero

claim paper

Read More »

147

Voted

AIED
2005
Springer

83views Artificial Intelligence» more AIED 2005»

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

15 years 9 months ago

Download slidetutor.upmc.edu

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

claim paper

Read More »

144

click to vote

DRM
2005
Springer

99views Artificial Intelligence» more DRM 2005»

New broadcast encryption scheme using tree-based circle

15 years 9 months ago

Download www.math.snu.ac.kr

Nam-Su Jho, Eun Sun Yoo, Jung Hee Cheon, Myung-Hwa...

claim paper

Read More »

155

click to vote

AIME
2007
Springer

118views Artificial Intelligence» more AIME 2007»

Content Collection for the Labelling of Health-Related Web Content

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers