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

13 years 9 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

13 years 6 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

13 years 6 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