3856 search results - page 746 / 772 » Models for Automated Earthmoving |
152
click to vote
EUROSYS
2009
ACM
16 years 2 months ago
2009
ACM
Recently, flash-based solid-state drives (SSDs) have become standard options for laptop and desktop storage, but their impact on enterprise server storage has not been studied. P...
152
click to vote
SOSP
2005
ACM
16 years 1 months ago
2005
ACM
We present a method for automatically extracting from a running system an indexable signature that distills the essential characteristic from a system state and that can be subjec...
135
Voted
TACAS
2010
Springer
16 years 1 days ago
2010
Springer
Abstract. Synthesis is the automated construction of a system from its specification. The system has to satisfy its specification in all possible environments. Modern systems oft...
136
click to vote
ICEIS
2009
IEEE
15 years 11 months ago
2009
IEEE
We propose two methods for constructing automated programs for extraction of information from a class of web pages that are very common and of high practical significance - varia...
129
click to vote
LICS
2009
IEEE
15 years 11 months ago
2009
IEEE
We consider the standard model of finite two-person zero-sum stochastic games with signals. We are interested in the existence of almost-surely winning or positively winning stra...