17505 search results - page 3156 / 3501 » Use Cases as Workflows |
192
click to vote
ISBRA
2007
Springer
16 years 26 days ago
2007
Springer
Clustering has been one of the most popular approaches used in gene expression data analysis. A clustering method is typically used to partition genes according to their similarity...
197
click to vote
KDD
2007
ACM
16 years 26 days ago
2007
ACM
Mixture models form one of the most widely used classes of generative models for describing structured and clustered data. In this paper we develop a new approach for the analysis...
160
click to vote
LOPSTR
2007
Springer
16 years 25 days ago
2007
Springer
Homeomorphic Embedding (HEm) has proven to be very powerful for supervising termination of computations, provided that such computations are performed over a finite signature, i.e...
192
Voted
OOPSLA
2007
Springer
16 years 25 days ago
2007
Springer
Objects often define usage protocols that clients must follow in order for these objects to work properly. Aliasing makes it notoriously difficult to check whether clients and i...
196
click to vote
PPDP
2007
Springer
16 years 25 days ago
2007
Springer
The problem of mechanically formalizing and proving metatheoretic properties of programming language calculi, type systems, operational semantics, and related formal systems has r...