3856 search results - page 415 / 772 » Models for Automated Earthmoving |
201
click to vote
TARK
2007
Springer
16 years 26 days ago
2007
Springer
We contend that reasoning about knowledge is both natural and pragmatic for verification of electronic voting protocols. We present a model in which desirable properties of elect...
164
click to vote
HICSS
2003
IEEE
16 years 1 days ago
2003
IEEE
It is now apparent that our nation’s infrastructures and essential utilities have been optimized for reliability in benign operating environments. As such, they are susceptible ...
166
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Innumerable biological investigations require comparing collections of molecules, cells or organisms to one another with respect to one or more of their properties. Al...
153
click to vote
IJCAT
2010
15 years 5 months ago
2010
Currently, there does not exist reliable MV treatment or protocols in critical care to treat acute respiratory diseases, and thus no proven way to optimise care to minimise the mor...
159
click to vote
DAC
2008
ACM
16 years 7 months ago
2008
ACM
Many recent techniques for timing analysis under variability, in which delay is an explicit function of underlying parameters, may be described as parameterized timing analysis. T...