8555 search results - page 1538 / 1711 » Property Based Coordination |
183
click to vote
LICS
2012
IEEE
13 years 8 months ago
2012
IEEE
—Interactive theorem provers based on higher-order logic (HOL) traditionally follow the definitional approach, reducing high-level specifications to logical primitives. This al...
165
click to vote
AAAI
2012
13 years 8 months ago
2012
We examine designs for crowdsourcing contests, where participants compete for rewards given to superior solutions of a task. We theoretically analyze tradeoffs between the expecta...
186
click to vote
CIKM
2007
Springer
16 years 6 days ago
2007
Springer
As a promising new technology with the unique properties like high efficiency, scalability and fault tolerance, Peer-toPeer (P2P) technology is used as the underlying network to b...
183
click to vote
EUROPAR
2004
Springer
15 years 11 months ago
2004
Springer
The interesting properties of P2P systems (high availability despite peer volatility, support for heterogeneous architectures, high scalability, etc.) make them attractive for dist...
201
click to vote
CVPR
2004
IEEE
16 years 8 months ago
2004
IEEE
The visual effects of rain are complex. Rain consists of spatially distributed drops falling at high velocities. Each drop refracts and reflects the environment, producing sharp i...