Sciweavers

3954 search results - page 296 / 791
» Image-based Model Completion
Sort
View
DEBS
2007
ACM
15 years 10 months ago
Modeling the communication costs of content-based routing: the case of subscription forwarding
Content-based routing (CBR) provides the core distribution support of several middleware paradigms, most notably content-based publish-subscribe. Despite its popularity, however, ...
Stefano Castelli, Paolo Costa, Gian Pietro Picco
BMCBI
2006
145views more  BMCBI 2006»
15 years 6 months ago
GEM System: automatic prototyping of cell-wide metabolic pathway models from genomes
Background: Successful realization of a "systems biology" approach to analyzing cells is a grand challenge for our understanding of life. However, current modeling appro...
Kazuharu Arakawa, Yohei Yamada, Kosaku Shinoda, Yo...
FM
2008
Springer
152views Formal Methods» more  FM 2008»
15 years 8 months ago
Constraint Prioritization for Efficient Analysis of Declarative Models
The declarative modeling language Alloy and its automatic analyzer provide an effective tool-set for building designs of systems and checking their properties. The Alloy Analyzer p...
Engin Uzuncaova, Sarfraz Khurshid
IMAGING
2001
15 years 7 months ago
Darwinism of Color Image Difference Models
The world of color image difference modeling can be considered relatively young, when compared with the rich history of general color difference equations. While young, this area ...
Garrett M. Johnson, Mark D. Fairchild
BMCBI
2008
132views more  BMCBI 2008»
15 years 6 months ago
Mixture models for analysis of melting temperature data
Background: In addition to their use in detecting undesired real-time PCR products, melting temperatures are useful for detecting variations in the desired target sequences. Metho...
Christoffer Nellåker, Fredrik Uhrzander, Joa...