Browse by Title

208 items found

Showing titles from 200 to 208:

  4  5  6  7  8  9   
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 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
media icon DUGiMedia 2010 April 22 Virtualitat real? Geometria virtual? Realitat computacional? Patow, Gustavo
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
  4  5  6  7  8  9   

Subjects

Authors