Sciweavers

1401 search results - page 224 / 281
» Literate Ontology Development
Sort
View
BMCBI
2005
292views more  BMCBI 2005»
15 years 5 months ago
Atlas - a data warehouse for integrative bioinformatics
Background: We present a biological data warehouse called Atlas that locally stores and integrates biological sequences, molecular interactions, homology information, functional a...
Sohrab P. Shah, Yong Huang, Tao Xu, Macaire M. S. ...
LPAR
2012
Springer
14 years 1 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...
MM
2009
ACM
210views Multimedia» more  MM 2009»
16 years 6 days ago
Arneb: a rich internet application for ground truth annotation of videos
In this technical demonstration we show the current version of Arneb1 , a web-based system for manual annotation of videos, developed within the EU VidiVideo project. This tool ha...
Thomas M. Alisi, Marco Bertini, Gianpaolo D'Amico,...
HICSS
2006
IEEE
118views Biometrics» more  HICSS 2006»
15 years 11 months ago
Semantic Web Service Discovery in the OWL-S IDE
The increasing availability of web services necessitates efficient discovery and execution framework. The use of xml at various levels of web services standards poses challenges t...
Naveen Srinivasan, Massimo Paolucci, Katia P. Syca...
IAT
2005
IEEE
15 years 11 months ago
Sharing Engineering Information and Knowledge
This paper describes an agent-based recommendation system developed to support knowledge acquisition and sharing processes. Its purpose is to aid the process of community building...
Mauro F. Koyama, Olga Nabuco, Francisco Edeneziano...