2060 search results - page 328 / 412 » The Composition of Event-B Models |
141
Voted
NIPS
2003
15 years 6 months ago
2003
We propose an unsupervised methodology using independent component analysis (ICA) to cluster genes from DNA microarray data. Based on an ICA mixture model of genomic expression pa...
136
click to vote
AI
2008
Springer
15 years 4 months ago
2008
Springer
It is well known that classical set theory is not expressive enough to adequately model categorization and prototype theory. Recent work on compositionality and concept determinat...
137
Voted
CORR
2008
Springer
15 years 4 months ago
2008
Springer
This chapter describes Aneka-Federation, a decentralized and distributed system that combines enterprise Clouds, overlay networking, and structured peer-to-peer techniques to crea...
181
click to vote
IJCV
2008
15 years 4 months ago
2008
This paper describes two algorithms for the real-time segmentation of foreground from background layers in stereo video sequences. Automatic separation of layers from colour/contr...
167
Voted
JSS
2006
15 years 4 months ago
2006
Model is a kind of codified knowledge that has been verified in solving problems. Solving a complex problem usually needs a set of models. Using components, the composition of a s...