3856 search results - page 191 / 772 » Models for Automated Earthmoving |
134
click to vote
WSC
2004
15 years 8 months ago
2004
We describe a characterization the three classical world views of event scheduling, activity scanning, and process interaction and discuss transformations among them. We believe t...
148
click to vote
CSL
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. A longstanding open problem is whether there exists a nonsyntactical model of the untyped -calculus whose theory is exactly the least -theory . In this paper we investiga...
163
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
The predominant knowledge-based approach to automated model construction, compositional modelling, employs a set of models of particular functional components. Its inference mecha...
210
click to vote
ACL
2009
15 years 4 months ago
2009
Articles in the Penn TreeBank were identified as being reviews, summaries, letters to the editor, news reportage, corrections, wit and short verse, or quarterly profit reports. Al...
221
click to vote
DLOG
2009
15 years 4 months ago
2009
I will provide an overview of many of the use cases that we looked at to apply OWL ABox reasoning in the real world. The fields we covered included (a) healthcare, and life science...