708 search results - page 29 / 142 » Support for Informal Information Use and its Formalization i... |
BMCBI
2008
13 years 7 months ago
2008
Background: The most renowned biological ontology, Gene Ontology (GO) is widely used for annotations of genes and gene products of different organisms. However, there are shortcom...
ICEIS
2000
IEEE
14 years 4 days ago
2000
IEEE
This paper describes the development of Information System (IS) at Masaryk University in Brno. It supports full range of administrative and information functions in the study area,...
ASM
2010
ASM
13 years 11 months ago
2010
ASM
The B method is one of the most used formal methods, when reactive systems is under question, due to good support for refinement. However, obtaining the formal model from requireme...
VLDB
2004
ACM
14 years 1 months ago
2004
ACM
The Web is becoming a universal information dissemination medium, due to a number of factors including its support for content dynamicity. A growing number of Web information prov...
APCCM
2004
13 years 9 months ago
2004
A person working with diverse information sources--with possibly different formats and information models--may recognize and wish to express conceptual structures that are not exp...