4184 search results - page 641 / 837 » A Data Transformation System for Biological Data Sources |
192
click to vote
TPHOL
2007
IEEE
16 years 23 days ago
2007
IEEE
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...
164
click to vote
ICDCS
2002
IEEE
15 years 11 months ago
2002
IEEE
An Operational Information System (OIS) supports a real-time view of an organization’s information critical to its logistical business operations. A central component of an OIS ...
155
click to vote
BIOINFORMATICS
2008
15 years 6 months ago
2008
Residue coevolution has recently emerged as an important concept, especially in the context of protein structures. While a multitude of different functions for quantifying it have...
173
click to vote
CLEF
2007
Springer
16 years 20 days ago
2007
Springer
This paper describes our first participation in the Indian language sub-task of the main Adhoc monolingual and bilingual track in CLEF1 competition. In this track, the task is to...
179
click to vote
COMCOM
1998
15 years 6 months ago
1998
As computers and Internet become more and more available to families, access of objectionable graphics by children is increasingly a problem that many parents are concerned about....