Llistar TÃtols
S'han trobat 158 Ãtems
Llistant Ãtems des de 150 a 158:
Format | Data | TÃtol | Autor |
---|
Format | Data | TÃtol | Autor |
|
5 juny 2018 |
A Variant of Higher-Order Anti-Unification |
Baumgartner, Alexander
; Kutsia, Temur
; Levy, Jordi
; Villaret i Ausellé, Mateu
|
|
|
Vertical edge-based mapping using range-augmented omnidirectional vision sensor |
Bacca Cortés, Eval Bladimir
; Cufà i Solé, Xavier
; Salvi, Joaquim
|
|
2013 |
Vertical edge-based mapping using range-augmented omnidirectional vision sensor |
Bacca Cortés, Eval Bladimir
; Cufà i Solé, Xavier
; Salvi, Joaquim
|
|
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
|
|
|
View-dependent information theory quality measures for pixel sampling and scene discretization in flatland |
Rigau Vilalta, Jaume
; Feixas Feixas, Miquel
; Bekaert, Philippe
; Sbert, Mateu
|
|
15 maig 2019 |
Word-processing-based routing for Cayley graphs |
Aguirre Guerrero, Daniela
|
|
|
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
|
|
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
|