5401 search results - page 861 / 1081 » Using Versions in GIS |
118
click to vote
LOGCOM
2007
15 years 4 months ago
2007
Harvey Friedman introduced natural independence results for the Peano axioms via certain schemes of combinatorial well-foundedness. We consider here parameterized versions of this...
136
click to vote
AROBOTS
2002
15 years 4 months ago
2002
Tractors are the workhorses of the modern farm. By automating these machines, we can increase the productivity, improve safety, and reduce costs for many agricultural operations. ...
133
click to vote
AI
2000
Springer
15 years 4 months ago
2000
Springer
Markov decisionprocesses(MDPs) haveproven to be popular models for decision-theoretic planning, but standard dynamic programming algorithms for solving MDPs rely on explicit, stat...
118
click to vote
ALGORITHMICA
2000
15 years 4 months ago
2000
This paper presents several deterministic algorithms for selecting the kth largest record from a set of n records on any n-node hypercubic network. All of the algorithms are based ...
139
Voted
COLING
2002
15 years 4 months ago
2002
In this paper, we describe a first prototype of a pattern-based analyzer developed in the context of a speech-to-speech translation project using a pivot-based approach (the pivot...