6615 search results - page 392 / 1323 » Indexing Multiple Sets |
210
click to vote
WOB
2007
15 years 8 months ago
2007
Abstract. We propose a method for global validation of gene clusterings. The method selects a set of informative and non-redundant GO terms through an exploration of the Gene Ontol...
217
click to vote
CADE
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. We describe mcmt, a fully declarative and deductive symbolic model checker for safety properties of infinite state systems whose state variables are arrays. Theories spec...
178
click to vote
ENDM
2010
15 years 7 months ago
2010
Verifying that a piece of software has no bugs means proving that it has certain desired properties, such as an array index not taking values outside certain Abstract interpretati...
153
click to vote
IPM
2007
15 years 6 months ago
2007
A thesaurus and an ontology provide a set of structured terms, phrases, and metadata, often in a hierarchical arrangement, that may be used to index, search, and mine documents. W...
185
click to vote
CAGD
2004
15 years 6 months ago
2004
We consider existence of curves c : [0, 1] Rn which minimize an energy of the form c(k) p (k = 1, 2, . . . , 1 < p < ) under side-conditions of the form Gj(c(t1,j), . . . ,...