Browse by Title
137 items found
Showing titles from 125 to 137:
Format | Date | Title | Author |
---|
Format | Date | Title | Author |
|
2014 March 27 |
Uso de algoritmos de enrutamiento para el cálculo de indicadores de sostenibilidad |
Pijoan Lamas, Ander
; Borges, Cruz E.
; Penya, Yoseba K.
; Alonso-Vicario, Ainhoa
|
|
2013 |
A Variant of Higher-Order Anti-Unification |
Baumgartner, Alexander
; Kutsia, Temur
; Levy, Jordi
; Villaret i Ausellé, Mateu
|
|
|
A Variant of Higher-Order Anti-Unification |
Baumgartner, Alexander
; Kutsia, Temur
; Levy, Jordi
; Villaret i Ausellé, Mateu
|
|
|
A Variant of Higher-Order Anti-Unification |
Baumgartner, Alexander
; Kutsia, Temur
; Levy, Jordi
; Villaret i Ausellé, Mateu
|
|
2018 June 1 |
A Variant of Higher-Order Anti-Unification |
|
|
2018 June 5 |
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
|
|
|
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
|
|
|
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
|