3856 search results - page 139 / 772 » Models for Automated Earthmoving |
147
click to vote
CL
2000
Springer
15 years 4 months ago
2000
Springer
The extension of the XSL (eXtensible Style sheet Language) by variables and passing of data values between template rules has generated a powerful XML query language: XSLT (eXtens...
131
click to vote
CL
1999
Springer
15 years 4 months ago
1999
Springer
Abstract The Ada language has been designed to support development of concurrent and distributed software. While the Ada83 standard defined the basic mechanisms of rendezvous-based...
148
click to vote
CADE
2007
Springer
15 years 11 months ago
2007
Springer
We develop and implement a novel algorithm for discovering the optimal sets of premisses for proving and disproving conjectures in first-order logic. The algorithm uses interpret...
172
click to vote
DLOG
2009
15 years 2 months ago
2009
Abstract. Model-based most specific concepts are a non-standard reasoning service in Description Logics. They have turned out to be useful in knowledge base completion for ontologi...
187
click to vote
LICS
2012
IEEE
13 years 7 months ago
2012
IEEE
—Data trees are trees in which each node, besides carrying a label from a finite alphabet, also carries a data value infinite domain. They have been used as an abstraction mode...