3742 search results - page 688 / 749 » On the Use of Formal Techniques for Validation |
177
click to vote
ACL
2006
15 years 7 months ago
2006
In this paper we report our work on building a POS tagger for a morphologically rich language- Hindi. The theme of the research is to vindicate the stand that- if morphology is st...
192
click to vote
USS
2004
15 years 7 months ago
2004
Today's Internet intrusion detection systems (IDSes) monitor edge networks' DMZs to identify and/or filter malicious flows. While an IDS helps protect the hosts on its l...
196
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Many bioinformatics analyses, ranging from gene clustering to phylogenetics, produce hierarchical trees as their main result. These are used to represent the relations...
153
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: As a novel cancer diagnostic paradigm, mass spectroscopic serum proteomic pattern diagnostics was reported superior to the conventional serologic cancer biomarkers. Ho...
141
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Pathogen detection using DNA microarrays has the potential to become a fast and comprehensive diagnostics tool. However, since pathogen detection chips currently utili...