4075 search results - page 780 / 815 » Modeling Distributed Algorithm Using B |
128
click to vote
COMPSAC
1998
IEEE
15 years 4 months ago
1998
IEEE
Many world wide web applications require access, transfer, and synchronization of large multimedia data objects (MDOs) (such as, audio, video, and images) across the communication...
123
Voted
WSDM
2012
ACM
13 years 8 months ago
2012
ACM
As massive repositories of real-time human commentary, social media platforms have arguably evolved far beyond passive facilitation of online social interactions. Rapid analysis o...
129
click to vote
SIGECOM
2006
ACM
15 years 6 months ago
2006
ACM
Games may be represented in many different ways, and different representations of games affect the complexity of problems associated with games, such as finding a Nash equilib...
114
Voted
BMCBI
2007
15 years 18 days ago
2007
Background: High content screening (HCS) is a powerful method for the exploration of cellular signalling and morphology that is rapidly being adopted in cancer research. HCS uses ...
155
click to vote
STOC
2012
ACM
13 years 2 months ago
2012
ACM
Option contracts are a type of financial derivative that allow investors to hedge risk and speculate on the variation of an asset’s future market price. In short, an option has...