Search Sciweavers | Sciweavers

378 search results - page 76 / 76

» Automatic generation of concept hierarchies using WordNet

click to vote

ECAI
2004
Springer

127views Artificial Intelligence» more ECAI 2004»

Lakatos-Style Automated Theorem Modification

15 years 1 months ago

Download www.doc.ic.ac.uk

We describe a flexible approach to automated reasoning, where non-theorems can be automatically altered to produce proved results which are related to the original. This is achieve...

Simon Colton, Alison Pease

claim paper

Read More »

click to vote

IMECS
2007

116views Theoretical Computer Science» more IMECS 2007»

Web Service Integration Based on Abstract Forms in XML for End-user Initiative Development

14 years 10 months ago

Download www.se.cs.meiji.ac.jp

ice Integration Based on Abstract Forms in XML for End-user Initiative Development Takeshi Chusho, Ryousuke Yuasa, Shinpei Nishida and Katsuya Fujiwara ∗ Abstract— The number o...

Takeshi Chusho, Ryousuke Yuasa, Shinpei Nishida, K...

claim paper

Read More »

click to vote

FLAIRS
2006

137views Artificial Intelligence» more FLAIRS 2006»

Cognitive Simulation in Virtual Patients

14 years 10 months ago

Download www.aaai.org

We present an overview of the Virtual Patient project at the University of Maryland, which is developing a cognitive model of humans experiencing various states of health and dise...

Sergei Nirenburg, Marjorie McShane, Stephen Beale,...

claim paper

Read More »

« Prev « First page 76 / 76 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers