Map (higher-order function)

Known as: Mapfusion, Functor (type theory), Map (function) 
In many programming languages, map is the name of a higher-order function that applies a given function to each element of a list, returning a list… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
In depth discontinuous and untextured regions, depth maps created by multiple view stereopsis are with heavy noises, but existing… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2012
Highly Cited
2012
We present a novel system that is capable of generating live dense volumetric reconstructions based on input from a micro aerial… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2012
2012
Map matching means determining the location of a mobile with respect to a road network description stored in a digital map. This… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 6
Is this relevant?
2012
2012
An accurate performance model for MapReduce is increasingly important for analyzing and optimizing MapReduce jobs. It is also a… (More)
  • table III
  • figure 1
  • table IV
  • table V
  • figure 2
Is this relevant?
2008
2008
As a case-study in machine-checked reasoning about the complexity of algorithms in type theory, we describe a proof of the… (More)
Is this relevant?
2007
2007
In recent years, the success of single-robot SLAM has led to more multi-robot SLAM (MR-SLAM) research. A team of robots with MR… (More)
  • figure 1
  • figure 2
  • figure 5
  • figure 3
  • figure 6
Is this relevant?
Highly Cited
2007
Highly Cited
2007
We present a new formulation to multi-view stereo that treats the problem as probabilistic 3D segmentation. Previous work has… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2006
2006
Our chief goal in this paper is to produce a contrast enhancement technique to recover an image within a given area, from a… (More)
Is this relevant?
2006
2006
Distributed automata-based LTL model-checking relies on algorithms for finding accepting cycles in a Büchi automaton. The… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
1994
1994
This paper proposes a new search algorithm for targets that move. Ishida and Korf presented an algorithm, called the moving… (More)
  • figure 1
Is this relevant?