Browse by Title
208 items found
Showing titles from 200 to 208:
Format | Date | Title | Author |
---|
Format | Date | Title | Author |
|
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
|
|
2010 April 22 |
Virtualitat real? Geometria virtual? Realitat computacional? |
Patow, Gustavo
|
|
|
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
|