en
de
Local
OpenID
:
no help available
no help available
BibSonomy
author
tag
user
group
author
concept
BibTeX key
search:all
::
Mendonça
::
The blue social bookmark and publication sharing system.
sign in
home
groups
popular
posts
tags
authors
concepts
discussions
actions for all displayed bookmarks:
export:
RSS
,
BibTeX
,
XML
sort:
criterion:
date
,
title
order:
ascending
,
descending
others:
bookmarks per page:
5
10
20
50
100
bookmarks
actions for all displayed publications:
export:
RSS
,
BibTeX
,
RDF
,
more...
sort:
criterion:
date
,
title
order:
ascending
,
descending
advanced...
others:
publications per page:
5
10
20
50
100
publications
(398)
related tags
tags
dblp
Universidade_de_Lisboa
theorem
masterthesis
imported
smt
web
replication
solver
Mendonça,_Armando_de_Sousa_Viegas,_1923-
verification
z3
Medicina
Ciências
Coutinho,_António_Xavier_Pereira,_1851-1939
service
No matching items.
Stereo image coding using multiscale recurrent patterns.
Maria H. V. Duarte
,
Murilo B. de Carvalho
,
Eduardo A. B. da Silva
,
Carla L. Pagliari
, and
Gelson V. Mendonça
.
ICIP 2,
page 661-664.
(
2002
)
Maria H. V. Duarte
,
Murilo B. de Carvalho
,
Eduardo A. B. da Silva
,
Carla L. Pagliari
, and
Gelson V. Mendonça
.
ICIP 2,
page 661-664.
(
2002
)
2 months and 22 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Enhanced zerotree wavelet transform image coding exploiting similarities inside subbands.
C. S. Barreto
, and
Gelson V. Mendonça
.
ICIP 2,
page 549-551.
(
1996
)
C. S. Barreto
, and
Gelson V. Mendonça
.
ICIP 2,
page 549-551.
(
1996
)
2 months and 23 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Successive Approximation Trellis-Coded Vector Quantization for Embedded Coders.
Alessandro J. S. Dutra
,
Eduardo A. B. da Silva
, and
Gelson V. Mendonça
.
ICIP 1,
page 416-420.
(
1999
)
Alessandro J. S. Dutra
,
Eduardo A. B. da Silva
, and
Gelson V. Mendonça
.
ICIP 1,
page 416-420.
(
1999
)
2 months and 23 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
A Modified Fractal Transformation to Improve the Quality of Fractal Coded Images.
Joséde Oliveira
,
Gelson V. Mendonça
, and
Roosevelt J. Dias
.
ICIP 1,
page 756-759.
(
1998
)
Joséde Oliveira
,
Gelson V. Mendonça
, and
Roosevelt J. Dias
.
ICIP 1,
page 756-759.
(
1998
)
2 months and 23 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
A New Similarity Criterion for Retinal Image Registration.
Ana Maria Mendonça
,
Aurélio C. Campilho
, and
José Manuel Rodrigues Nunes
.
ICIP 3,
page 696-700.
IEEE,
(
1994
)
Ana Maria Mendonça
,
Aurélio C. Campilho
, and
José Manuel Rodrigues Nunes
.
ICIP 3,
page 696-700.
IEEE,
(
1994
)
2 months and 24 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Reduced cross-discrimination for discriminative filters.
Alexandre Pimentel Mendonça
, and
Eduardo A. B. da Silva
.
ICIP,
page 2115-2118.
IEEE,
(
2004
)
Alexandre Pimentel Mendonça
, and
Eduardo A. B. da Silva
.
ICIP,
page 2115-2118.
IEEE,
(
2004
)
2 months and 24 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Exactly linearizing adaptive control of propofol and remifentanil using a reduced Wiener model for the depth of anesthesia.
Margarida Martins da Silva
,
Torbjörn Wigren
, and
Teresa Mendonça
.
CDC,
page 368-373.
IEEE,
(
2012
)
Margarida Martins da Silva
,
Torbjörn Wigren
, and
Teresa Mendonça
.
CDC,
page 368-373.
IEEE,
(
2012
)
3 months and 12 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
6 Years of SMT-COMP.
Clark Barrett
,
Morgan Deters
,
Leonardo Mendonça de Moura
,
Albert Oliveras
, and
Aaron Stump
.
J. Autom. Reasoning
50(3):243-277
(
2013
)
Clark Barrett
,
Morgan Deters
,
Leonardo Mendonça de Moura
,
Albert Oliveras
, and
Aaron Stump
.
J. Autom. Reasoning
50(3):243-277
(
2013
)
3 months and 14 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Practices of environmentally responsible reverse logistics systems in Brazilian companies.
Fernando César Almada Santos
,
Emília Mendonça Andrade
,
Ana Carolina Ferreira
,
Patrícia Cristina Silva Leme
, and
Charbel Jose Chiappetta Jabbour
.
IJBPSCM
5(1):63-85
(
2013
)
Fernando César Almada Santos
,
Emília Mendonça Andrade
,
Ana Carolina Ferreira
,
Patrícia Cristina Silva Leme
, and
Charbel Jose Chiappetta Jabbour
.
IJBPSCM
5(1):63-85
(
2013
)
3 months and 14 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
A Model-Constructing Satisfiability Calculus.
Leonardo Mendonça de Moura
, and
Dejan Jovanovic
.
VMCAI,
volume 7737 of Lecture Notes in Computer Science,
page 1-12.
Springer,
(
2013
)
Leonardo Mendonça de Moura
, and
Dejan Jovanovic
.
VMCAI,
volume 7737 of Lecture Notes in Computer Science,
page 1-12.
Springer,
(
2013
)
3 months and 25 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Monotone and nonmonotone trust-region-based algorithms for large scale unconstrained optimization problems.
María C. Maciel
,
María G. Mendonça
, and
Adriana B. Verdiell
.
Comp. Opt. and Appl.
54(1):27-43
(
2013
)
María C. Maciel
,
María G. Mendonça
, and
Adriana B. Verdiell
.
Comp. Opt. and Appl.
54(1):27-43
(
2013
)
3 months and 26 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Tracking natural trails with swarm-based visual saliency.
Pedro Santana
,
Luís Correia
,
Ricardo Mendonça
,
Nelson Alves
, and
José Barata
.
J. Field Robotics
30(1):64-86
(
2013
)
Pedro Santana
,
Luís Correia
,
Ricardo Mendonça
,
Nelson Alves
, and
José Barata
.
J. Field Robotics
30(1):64-86
(
2013
)
4 months and 2 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Efficiently solving quantified bit-vector formulas.
Christoph M. Wintersteiger
,
Youssef Hamadi
, and
Leonardo Mendonça de Moura
.
Formal Methods in System Design
42(1):3-23
(
2013
)
Christoph M. Wintersteiger
,
Youssef Hamadi
, and
Leonardo Mendonça de Moura
.
Formal Methods in System Design
42(1):3-23
(
2013
)
4 months and 9 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Leibniz's Conception of Natural Explanation.
Marta de Mendonça
.
Leibniz: What Kind of Rationalist?,
volume 13 of Logic, Epistemology, and the Unity of Science,
Springer,
(
2008
)
Marta de Mendonça
.
Leibniz: What Kind of Rationalist?,
volume 13 of Logic, Epistemology, and the Unity of Science,
Springer,
(
2008
)
4 months and 9 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Signal propagation in Bayesian networks and its relationship with intrinsically multivariate predictive variables.
David Correa Martins Jr.
,
Evaldo A. de Oliveira
,
Ulisses de Mendonça Braga Neto
,
Ronaldo Fumio Hashimoto
, and
Roberto Marcondes Cesar Jr.
.
Inf. Sci.
(
2013
)
David Correa Martins Jr.
,
Evaldo A. de Oliveira
,
Ulisses de Mendonça Braga Neto
,
Ronaldo Fumio Hashimoto
, and
Roberto Marcondes Cesar Jr.
.
Inf. Sci.
(
2013
)
4 months and 12 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Reference framework for enhanced interoperable collaborative networks in industrial organisations.
Ricardo Jardim-Gonçalves
,
Carlos Agostinho
,
João Sarraipa
,
António Grilo 0002
, and
João Pedro Mendonça
.
Int. J. Computer Integrated Manufacturing
26(1-2):166-182
(
2013
)
Ricardo Jardim-Gonçalves
,
Carlos Agostinho
,
João Sarraipa
,
António Grilo 0002
, and
João Pedro Mendonça
.
Int. J. Computer Integrated Manufacturing
26(1-2):166-182
(
2013
)
4 months and 12 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Selected proceedings of the 2010 Summit on Translational Bioinformatics.
Eneida A. Mendonça
, and
Peter Tarczy-Hornoch
.
BMC Bioinformatics
11(S-9):S1
(
2010
)
Eneida A. Mendonça
, and
Peter Tarczy-Hornoch
.
BMC Bioinformatics
11(S-9):S1
(
2010
)
4 months and 16 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Fuzzy model-based fault detection and isolation.
Luís F. Mendonça
,
Joao M. C. Sousa
, and
José M. G. Sá da Costa
.
ETFA 2,
page 768-774.
IEEE,
(
2003
)
Luís F. Mendonça
,
Joao M. C. Sousa
, and
José M. G. Sá da Costa
.
ETFA 2,
page 768-774.
IEEE,
(
2003
)
4 months and 17 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Implementation of SQL3 Structured Types with Inheritance and Value Substitutability.
You-Chin Fuh
,
Stefan Deßloch
,
Weidong Chen
,
Nelson Mendonça Mattos
,
Brian T. Tran
,
Bruce G. Lindsay 0001
,
Linda DeMichel
,
Serge Rielau
, and
Danko Mannhaupt
.
VLDB,
page 565-574.
Morgan Kaufmann,
(
1999
)
You-Chin Fuh
,
Stefan Deßloch
,
Weidong Chen
,
Nelson Mendonça Mattos
,
Brian T. Tran
,
Bruce G. Lindsay 0001
,
Linda DeMichel
,
Serge Rielau
, and
Danko Mannhaupt
.
VLDB,
page 565-574.
Morgan Kaufmann,
(
1999
)
5 months and a day ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Optimal Node-Degree Bounds for the Complexity of Nonplanarity Parameters.
Celina M. Herrera de Figueiredo
,
Luerbio Faria
, and
Candido Ferreira Xavier de Mendonça Neto
.
SODA,
page 887-888.
ACM/SIAM,
(
1999
)
Celina M. Herrera de Figueiredo
,
Luerbio Faria
, and
Candido Ferreira Xavier de Mendonça Neto
.
SODA,
page 887-888.
ACM/SIAM,
(
1999
)
5 months and 14 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
BibSonomy is offered by the
KDE group
of the University of Kassel, the
DMIR group
of the University of Würzburg, and the
L3S Research Center
, Germany.
Privacy & Terms of Use
-
Contact