Sciweavers

6434 search results - page 1116 / 1287
» Model Transformations with Reference Models
Sort
View
IJSWIS
2007
171views more  IJSWIS 2007»
15 years 3 months ago
Experience in Aligning Anatomical Ontologies
An ontology is a formal representation of a domain modeling the entities in the domain and their relations. When a domain is represented by multiple ontologies, there is need for ...
Songmao Zhang, Olivier Bodenreider
AML
2005
101views more  AML 2005»
15 years 3 months ago
Forcing and antifoundation
It is proved that the forcing apparatus can be built and set to work in ZFCA (=ZFC minus foundation plus the antifoundation axiom AFA). The key tools for this construction are gre...
Athanassios Tzouvaras
JAIR
2007
117views more  JAIR 2007»
15 years 3 months ago
On the Formal Semantics of Speech-Act Based Communication in an Agent-Oriented Programming Language
Research on agent communication languages has typically taken the speech acts paradigm as its starting point. Despite their manifest attractions, speech-act models of communicatio...
Renata Vieira, Álvaro F. Moreira, Michael W...
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. ...
TON
2008
155views more  TON 2008»
15 years 3 months ago
A comparative analysis of server selection in content replication networks
Server selection plays an essential role in content replication networks, such as peer-to-peer (P2P) and content delivery networks (CDNs). In this paper, we perform an analytical i...
Tao Wu, David Starobinski
« Prev « First page 1116 / 1287 Last » Next »