Login

Articles

AERONET-OC: A Network for the Validation of Ocean Color Primary Radiometric Products

Article

Published in 01/01/2009

Authors

G. Zibordi, B. Holben, I. Slutsker, D. Giles, F. Melin, J.-F. Berthon, D. Vandemark, H. Feng, G. Schuster, B. E. Fabbri, S. Kaitala, J. Seppala,

Improving the Automatic Evaluation of Problem Solutions in Programming Contests

Article

Published in 01/01/2009

Authors

Pedro Ribeiro, Pedro Guerreiro,

Applying semantic Web technologies to knowledge sharing to aerospace engineering

Article

Published in 01/01/2009

Authors

Aba-Sah Dadzie, Ajay Chakravarthy, Sam Chapman, Vita Lanfranchi, João Magalhães, Daniela Petrelli, Fabio Ciravegna,

MATA: A Unified Approach for Composing UML Aspect Models Based on Graph Transformation

Article

Published in 01/01/2009

Authors

Jon whittle, Ana Moreira, João Araújo,

Introduction to the Special Issue on Combining Probability and Logic

Article

Published in 01/01/2009

Authors

Fabio Cozman, Rolf Haenni, Jan Willem Romeijn, Gregory Wheeler, Jon Williamson,

On Fixed-Points of Multivalued Functions on Complete Lattices and Their Application to Generalized Logic Programs

Article

Published in 01/01/2009

Authors

Umberto Straccia, Manuel Ojeda-Aciego, Carlos Viegas Damásio,

ERASP – A System for Enhancing Recommendations using Answer-Set Programming

Article

Published in 01/01/2009

Authors

Manoela Ilic, João Leite, Martin Slota,

Understanding functional self-application

Article

Published in 01/01/2009

Authors

Reinhard Kahle,

Validation of Satellite Ocean Color Primary Products at Optically Complex Coastal Sites: Northern Adriatic Sea, Northern Baltic Proper and Gulf of Finland

Article

Published in 01/01/2009

Authors

G. Zibordi, J.-F. Berthon, F. Melin, S. Kaitala,

Learning to coordinate in complex networks

Article

Published in 01/01/2009