Artículos -

Navegar

Últimos Documentos Autor FCEN - Año Autor FCEN - Revista Año - Revista Revista - Año SubjectPcEn Colores Type

Colección

Lista de

$
0
1
-
1
1
-
1
-
1
-
1
1
1
2
3
4
5
6
7
8
9
a
a
-
a
-
a
-
a
-
a
-
a
-
a
-
a
-
a
-
a
-
a
-
‐
a
-
‐
-
a
-
a
-
a
-
a
-
a
-
a
-
‐
a
-
a
-
a
-
a
b
-
b
-
b
-
b
c
-
c
-
c
-
c
-
c
-
c
-
c
-
c
-
c
+
c
-
c
-
c
-
c
-
c
-
c
-
c
-
c
c
-
c
-
c
d
-
d
-
d
-
d
-
d
-
d
-
d
e
-
e
-
e
-
e
-
e
-
e
-
e
-
e
-
e
f
-
f
-
f
f
g
-
g
-
g
-
g
-
g
-
g
-
g
-
g
-
‐
g
-
g
-
‐
g
-
g
h
‐
h
h
-
h
-
h
-
h
-
h
i
-
i
j
k
-
k
-
k
-
k
-
k
-
k
l
-
l
-
l
-
l
-
l
-
l
-
l
l
+
l
±
l
l
m
-
m
-
m
-
m
-
m
-
m
+
m
-
m
-
m
-
m
-
‐
m
n
-
n
-
n
-
n
-
n
o
p
-
p
p
-
p
-
p
q
r
-
r
-
r
s
-
s
-
s
{
s
-
s
t
-
t
‐
-
t
-
t
-
t
t
-
t
u
v
v
w
x
-
x
y
z
α
β
—
,
δ
π
-

Boolean functions

"A parsing approach to SAT" (2014) Castano, J.M. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8864:3-14

"TacoFlow: optimizing SAT program verification using dataflow analysis" (2014) Cuervo Parrino, B.; Galeotti, J.P.; Garbervetsky, D.; Frias, M.F. Software and Systems Modeling. 14(1):45-63

"Speckle reduction with adaptive stack filters" (2014) Buemi, M.E.; Frery, A.C.; Ramos, H.S. Pattern Recognition Letters. 36(1):281-287

"A finite state intersection approach to propositional satisfiability" (2012) Castaño, J.M.; Castaño, R. Theoretical Computer Science. 450:92-108

"Variable and clause ordering in an FSA approach to propositional satisfiability" (2011) Castaño, J.M.; Castaño, R. 16th International Conference on Implementation and Application of Automata, CIAA 2011. 6807 LNCS:76-87

"Assessment of SAR image filtering using adaptive stack filters" (2011) Buemi, M.E.;Mejail, M.;Jacobo, J. (...)Ramos, H.S. 16th Iberoamerican Congress on Pattern Recognition, CIARP 2011. 7042 LNCS:89-96

"Coinductive models and normal forms for modal logics (or how we learned to stop worrying and love coinduction)" (2010) Areces, C.; Gorín, D. Journal of Applied Logic. 8(4):305-318

"SAR image processing using adaptive stack filter" (2010) Buemi, M.E.; Jacobo, J.; Mejail, M. Pattern Recognition Letters. 31(4):307-314

"A simple linear time algorithm for the isomorphism problem on proper circular-arc graphs" (2008) Lin, M.C.; Soulignac, F.J.; Szwarcfiter, J.L. 11th Scandinavian Workshop on Algorithm Theory, SWAT 2008. 5124 LNCS:355-366

"Improvement in SAR image classification using adaptive stack filters" (2007) Buemi, M.E.; Mejail, M.; Jacobo, J.; Gambini, J. 20th Brazilian Symposium on Computer Graphics and Image Processing, SIBGRAPI 2007:263-270

"Adaptive stack filters in speckled imagery" (2006) Buemi, M.E.; Mejail, M.E.; Jacobo, J.C.; Gambini, M.J. VISAPP 2006 - 1st International Conference on Computer Vision Theory and Applications. 1:33-40

"Lattices due to increasing low energy relational processes" (1997) Leguizamón, C.A.; Zaretzky, A.N. Mathematical and Computer Modelling. 25(11):75-81