Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Parallelizations
Algorithms
2
Alloy Analyzer
2
Alloy analyzers
2
Alloys
2
Analysis problems
2
Boolean satisfiability problems
2
Bounded verification
2
Bounded verifications
2
Computational costs
2
Computational time
2
Computer graphics
2
Decision making
2
Embedded application
2
Embedded computers
2
Image processing
2
Markov Random Fields
2
Markov processes
2
Mobile robots
2
Monocular vision
2
Novel techniques
2
Parallel SAT-solving
2
Parallel analysis
2
Parallel virtual machines
2
SAT-solving
2
Specification languages
2
Stereo image processing
2
Stereo vision
2
Unmanned aerial vehicles (UAV)
2
Unmanned air vehicles
2
-
1
-
2
-
3
-
4por Fernandez, G.J., Jacobo-Berlles, J., Bauzá, M., Borensztejn, P., Mejail, M., Walter M., Carvalho P.C., Conselho Nacional de Desenvolvimento Cientifico e Tecnologico (CNPq); FAPERGS; Informatica UFRGS; PUCRS; Sociedade Brasileira de Computacao (SBC); Universidade do Vale do Rio dos Sinos (UNISINOS)CONF
-
5
-
6