3856 search results - page 675 / 772 » Models for Automated Earthmoving |
132
Voted
CSL
2004
Springer
15 years 9 months ago
2004
Springer
We consider the problem of providing formal support for working tract syntax involving variable binders. Gabbay and Pitts have shown in their work on Fraenkel-Mostowski (FM) set th...
149
click to vote
ERCIMDL
2004
Springer
15 years 9 months ago
2004
Springer
To date, the majority of Web search engines have provided simple keyword search interfaces that present the results as a ranked list of hyperlinks. More recently researchers have b...
135
click to vote
EWCBR
2004
Springer
15 years 9 months ago
2004
Springer
The case-based reasoning approach to email response consists of reusing past messages to synthesize new responses to incoming requests. This task presents various challenges due to...
126
click to vote
ICFEM
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We present a correctness proof for a basic file system implementation. This implementation contains key elements of standard Unix file systems such as inodes and fixed...
156
click to vote
KR
2004
Springer
15 years 9 months ago
2004
Springer
The causal logic from (Bochman 2003b) is shown to provide a natural logical basis for logic programming. More exactly, it is argued that any logic program can be seen as a causal ...