Arquivo de Articles - Page 23 of 67 - NOVA LINCS NOVA LINCS

Login

Algorithmic type checking for a pi calculus with name matching and session types

Published in 01/01/2013

Authors

Hybrid Recommender Strategy in Learning: and Experimental Evaluation

Published in 01/01/2013

Authors

Filipe Madeira, Salvador Abreu, Rui Quaresma,

View-based propagation of decomposable constraints

Published in 01/01/2013

Authors

Marco Correia, Marco Correia, Pedro Barahona, Pedro Barahona,

Equivalence of defeasible normative systems

Published in 01/01/2013

Authors

José Júlio Alferes, Ricardo Gonçalves, João Leite,

Regression of In-water Radiometric Profile Data

Published in 01/01/2013

Authors

Davide D'Alimonte, Davide D'Alimonte, Eugeny B. Shybanov, Eugeny B. Shybanov, Giuseppe Zibordi, Giuseppe Zibordi, Tamito Kajiyama, Tamito Kajiyama,

Regression of In-water Radiometric Profile Data

Published in 01/01/2013

Authors

Davide D'Alimonte, Davide D'Alimonte, Eugeny B. Shybanov, Eugeny B. Shybanov, Giuseppe Zibordi, Giuseppe Zibordi, Tamito Kajiyama, Tamito Kajiyama,

Applicative theories for the polynomial hierarchy of time and its levels

Published in 01/01/2013

Authors

Reinhard Kahle, Isabel Oitavem , Isabel Oitavem,

VISUALIZATION OF GEO-REFERENCED ENTITY: AN ASPECT-ORIENTED PATTERN

Published in 01/01/2013

Authors

Armanda Rodrigues, Sara Machado Silva, João Araújo,

Context-dependent Incremental Decision Making Srutinizing Intentions of Others via Bayesian Network Model Construction

Published in 01/01/2013

Authors

Han The Anh, Luís Moniz Pereira,

Ontology based Clinical Practice Justification in Natural Language

Published in 01/01/2013

Authors

David Mendes, Irene Rodrigues, Carlos Baeta,