Sciweavers

12981 search results - page 54 / 2597

» Artificial Intelligence

106

AIIA
2005
Springer

77views Artificial Intelligence» more AIIA 2005»

Using a Theorem Prover for Reasoning on Constraint Problems

15 years 11 months ago

Using a Theorem Prover for Reasoning on Constraint Problems

Download www.cs.unipr.it

Marco Cadoli, Toni Mancini

claim paper

Read More »

81

AIME
2005
Springer

82views Artificial Intelligence» more AIME 2005»

Ontology Mapping: A Way Out of the Medical Tower of Babel?

15 years 11 months ago

Ontology Mapping: A Way Out of the Medical Tower of Babel?

Download www.cs.vu.nl

Frank van Harmelen

claim paper

Read More »

91

AIME
2005
Springer

88views Artificial Intelligence» more AIME 2005»

Translating Biomedical Terms by Inferring Transducers

15 years 11 months ago

Translating Biomedical Terms by Inferring Transducers

Download www.csd.abdn.ac.uk

Vincent Claveau, Pierre Zweigenbaum

claim paper

Read More »

104

AIME
2005
Springer

101views Artificial Intelligence» more AIME 2005»

Gaining Process Information from Clinical Practice Guidelines Using Information Extraction

15 years 11 months ago

Gaining Process Information from Clinical Practice Guidelines Using Information Extraction

Download ieg.ifs.tuwien.ac.at

Katharina Kaiser, Cem Akkaya, Silvia Miksch

claim paper

Read More »

123

APN
2005
Springer

74views Artificial Intelligence» more APN 2005»

Towards an Algebra for Security Policies

15 years 11 months ago

Towards an Algebra for Security Policies

Download www.cs.cmu.edu

Jonathan D. Pincus, Jeannette M. Wing

claim paper

Read More »

« Prev « First page 54 / 2597 Last » Next »