8828 search results - page 305 / 1766 » Formal methods in practice |
205
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Data clustering is a powerful technique for identifying data with similar characteristics, such as genes with similar expression patterns. However, not all implementat...
184
click to vote
IJCV
2007
15 years 6 months ago
2007
Abstract. Cast shadows are an informative cue to the shape of objects. They are particularly valuable for discovering object’s concavities which are not available from other cues...
177
click to vote
BMCBI
2002
15 years 6 months ago
2002
Background: The biomedical community is developing new methods of data analysis to more efficiently process the massive data sets produced by microarray experiments. Systematic an...
158
click to vote
RWEB
2009
Springer
16 years 1 months ago
2009
Springer
XML is the underlying representation formalism of much web-data. Thus to reason about web-data essentially boils down to reasoning about data in XML format. In this course the stud...
164
click to vote
EUROCAST
2007
Springer
16 years 26 days ago
2007
Springer
In this paper, we present a new approximation in Natural Language Processing (nlp) aimed at knowledge representation and acquisition using a formal syntactic frame. In practice, we...