2060 search results - page 298 / 412 » The Composition of Event-B Models |
171
click to vote
ALMOB
2006
15 years 6 months ago
2006
Background: In order to compute pattern statistics in computational biology a Markov model is commonly used to take into account the sequence composition. Usually its parameter mu...
191
click to vote
BMCBI
2006
15 years 6 months ago
2006
The protein-protein interaction networks of even well-studied model organisms are sketchy at best, highlighting the continued need for computational methods to help direct experim...
156
click to vote
ICIP
2008
IEEE
16 years 8 months ago
2008
IEEE
In this paper, image processing and symbol processing are bridged with a common framework. A new computational architecture allows arbitrary fixed images to be used as attractors ...
165
click to vote
MICCAI
2002
Springer
16 years 7 months ago
2002
Springer
Through an understanding of the image formation process, diagnostically important facts about the internal structure and composition of the skin lesions can be derived from their c...
145
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
Business processes involve interactions among autonomous partners. We propose that these interactions be specified modularly as protocols. Protocols can be published, enabling imp...