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

Related topics

Related topics

50 relations
C++ClojureDesign by contractDocument-oriented database
(More)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Geometry Guided Multi-Scale Depth Map Fusion via Graph Optimization
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
Dense reconstruction on-the-fly
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
Matching Raw GPS Measurements on a Navigable Map Without Computing a Global Position
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
A Practical Performance Model for Hadoop MapReduce
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
A Machine-Checked Proof of the Average-Case Complexity of Quicksort in Coq
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
Multi-robot SLAM with topological/metric maps
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
Probabilistic visibility for multi-view stereo
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
Contrast Enhancement Technique of Dark Blurred Image
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
How to Order Vertices for Distributed LTL Model-Checking Based on Accepting Predecessors
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
The Trailblazer Search: A New Method for Searching and Capturing Moving Targets
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?