Sciweavers

1401 search results - page 224 / 281
» Literate Ontology Development
Sort
View
150
Voted
BMCBI
2005
292views more  BMCBI 2005»
15 years 3 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. ...
185
Voted
LPAR
2012
Springer
13 years 11 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...
125
Voted
MM
2009
ACM
210views Multimedia» more  MM 2009»
15 years 10 months 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,...
122
Voted
HICSS
2006
IEEE
118views Biometrics» more  HICSS 2006»
15 years 9 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 9 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...