2060 search results - page 352 / 412 » The Composition of Event-B Models |
169
click to vote
AIM
2002
15 years 4 months ago
2002
The Infrastructure of modern society is controlled by software systems. These systems are vulnerable to attacks; several such attacks, launched by "recreation hackers" h...
200
click to vote
BMCBI
2011
14 years 11 months ago
2011
Background: Molecular database search tools need statistical models to assess the significance for the resulting hits. In the classical approach one asks the question how probable...
152
click to vote
SIGGRAPH
1998
ACM
15 years 8 months ago
1998
ACM
We present a method that uses measured scene radiance and global illumination in order to add new objects to light-based models with correct lighting. The method uses a high dynam...
113
click to vote
EOR
2008
15 years 4 months ago
2008
Market baskets arise from consumers' shopping trips and include items from multiple categories that are frequently chosen interdependently from each other. Explanatory models...
175
click to vote
BMCBI
2010
15 years 1 months ago
2010
Background: Mass spectrometry has become a standard method by which the proteomic profile of cell or tissue samples is characterized. To fully take advantage of tandem mass spectr...