Login / Signup

Formal Parameters Synthesis for Track Segments of a Subway Mesh.

Adilson Luiz BonifácioArnaldo Vieira MouraJoão Batista Camargo Jr.Jorge Rady de Almeida Jr.
Published in: ECBS (2000)
Keyphrases
  • expectation maximization
  • maximum likelihood
  • parameter estimation
  • maximum likelihood estimation
  • formal model
  • d mesh
  • parameter values
  • case study
  • three dimensional
  • program synthesis