1723 search results - page 300 / 345 » Generalized file system dependencies |
149
Voted
SCP
2010
15 years 2 months ago
2010
The SPIN model checker and its specification language Promela have been used extensively in industry and academia to check logical properties of distributed algorithms and protoc...
157
Voted
INFOCOM
2011
IEEE
14 years 7 months ago
2011
IEEE
—Epidemic models based on nonlinear differential equations have been extensively applied in a variety of systems as diverse as infectious outbreaks, marketing, diffusion of belie...
135
Voted
CVPR
2012
IEEE
13 years 6 months ago
2012
IEEE
Flat refractive geometry corresponds to a perspective camera looking through single/multiple parallel flat refractive mediums. We show that the underlying geometry of rays corres...
116
Voted
ICML
2008
IEEE
16 years 4 months ago
2008
IEEE
We consider the task of learning to accurately follow a trajectory in a vehicle such as a car or helicopter. A number of dynamic programming algorithms such as Differential Dynami...
166
Voted
WWW
2004
ACM
16 years 4 months ago
2004
ACM
The overwhelming success of the Web as a mechanism for facilitating information retrieval and for conducting business transactions has led to an increase in the deployment of comp...