Sciweavers

641 search results - page 87 / 129
» Supporting the Development of Medical Ontologies
Sort
View
ESWA
2008
123views more  ESWA 2008»
13 years 6 months ago
Computing context-dependent temporal diagnosis in complex domains
Over the years, many Artificial Intelligence (AI) approaches have dealt with the diagnosis problem and its application in complex environments such as medical domains. Model-Based...
José M. Juárez, Manuel Campos, Jos&e...
LPAR
2012
Springer
12 years 3 months ago
The TPTP Typed First-Order Form with Arithmetic
Abstract. The TPTP World is a well established infrastructure supporting research, development, and deployment of Automated Theorem Proving systems. Recently, the TPTP World has be...
Geoff Sutcliffe, Stephan Schulz, Koen Claessen, Pe...
ITS
2000
Springer
108views Multimedia» more  ITS 2000»
13 years 11 months ago
Is What You Write What You Get?: An Operational Model of Training Scenario
To meet the needs for large-scale, high-quality learning contents, needless to say, we have to sharpen authoring tools. Authoring process can be roughly divided into two phases, a ...
Yusuke Hayashi, Mitsuru Ikeda, Kazuhisa Seta, Osam...
DEXAW
2008
IEEE
145views Database» more  DEXAW 2008»
13 years 9 months ago
ECQ: A Simple Query Language for the Semantic Web
With the increasing development of real applications using Semantic Web Technologies, it is necessary to provide scalable and efficient ontology querying and reasoning systems. In ...
María del Mar Roldán García, ...
TITB
2008
124views more  TITB 2008»
13 years 7 months ago
Miniature in vivo Robots for Remote and Harsh Environments
Abstract--Long-term human space exploration will require contingencies for emergency medical procedures including some capability to perform surgery. The ability to perform minimal...
Mark Rentschler, Stephen R. Platt, Kyle R. Berg, J...