Browse by Title

159 items found

Showing titles from 150 to 159:

  2  3  4  5  6  7   
FormatDateTitleAuthor
FormatDateTitleAuthor
out url icon Recercat 2018 June 5 A Variant of Higher-Order Anti-Unification Baumgartner, Alexander ; Kutsia, Temur ; Levy, Jordi ; Villaret i Ausellé, Mateu
out url icon Recercat Vertical edge-based mapping using range-augmented omnidirectional vision sensor Bacca Cortés, Eval Bladimir ; Cufí i Solé, Xavier ; Salvi, Joaquim
doc icon DUGiDocs 2013 Vertical edge-based mapping using range-augmented omnidirectional vision sensor Bacca Cortés, Eval Bladimir ; Cufí i Solé, Xavier ; Salvi, Joaquim
doc icon DUGiDocs 2001 View-dependent information theory quality measures for pixel sampling and scene discretization in flatland Rigau Vilalta, Jaume ; Feixas Feixas, Miquel ; Bekaert, Philippe ; Sbert, Mateu
out url icon Recercat View-dependent information theory quality measures for pixel sampling and scene discretization in flatland Rigau Vilalta, Jaume ; Feixas Feixas, Miquel ; Bekaert, Philippe ; Sbert, Mateu
doc icon DUGiDocs 2002 The Voronoi-Quadtree: construction and visualization Coll i Arnau, Narcís ; Boada, Imma ; Sellarès i Chiva, Joan Antoni
doc icon DUGiDocs 2019 May 15 Word-processing-based routing for Cayley graphs Aguirre Guerrero, Daniela
out url icon Recercat A Write-Based Solver for SAT Modulo the Theory of Arrays Bofill Arasa, Miquel ; Nieuwenhuis, Robert ; Oliveras Llunell, Albert ; RodrĂ­guez Carbonell, Enric ; Rubio, Albert
doc icon DUGiDocs 2008 A Write-Based Solver for SAT Modulo the Theory of Arrays Bofill Arasa, Miquel ; Nieuwenhuis, Robert ; Oliveras Llunell, Albert ; RodrĂ­guez Carbonell, Enric ; Rubio, Albert
  2  3  4  5  6  7   

Subjects

Authors