Login

Articles

Soft Constraints in Feature Models: An Experimental Assessment

Article

Published in 01/01/2012

Authors

Jorge Barreiros, Ana Moreira,

Gathering Environmental Data Concerning Very High Voltage Lines

Article

Published in 01/01/2012

Authors

Francisco Azevedo,

Prioritized and Non-prioritized Multiple Change on Belief Bases

Article

Published in 01/01/2012

Authors

Marcelo A. Falappa, Gabriele Kern-Isberner, Maurício Reis, Guillermo R. Simari,

Eliciting implicit assumptions of Mizar proofs by property omission

Article

Published in 01/01/2012

Authors

Jesse Alama,

Book review of ‘Computational Logic and Human Thinking: How to be Artificially Intelligent’ by Robert Kowalski

Article

Published in 01/01/2012

Authors

Luís Moniz Pereira,

Performance and Applicability of Bio-optical Algorithms in Different European Seas

Article

Published in 01/01/2012

Authors

Davide D'Alimonte, Giuseppe Zibordi, Giuseppe~Zibordi, Elisabetta Canuti, Elisabetta Canuti, Tamito Kajiyama, Tamito Kajiyama,

A-OSGi: a framework to support the construction of autonomic OSGi-based applications

Article

Published in 01/01/2012

Authors

João Leitão, Luis Rodrigues,

Modeling of Phenomena and Dynamic Logic of Phenomena

Article

Published in 01/01/2012

Authors

Boris Kovalerchuk, Leonid Perlovsky, Gregory Wheeler,

Using manual and automated annotations to search images by semantic similarity

Article

Published in 01/01/2012

Authors

João Magalhães, Stefan Rueger,

Automatic Reconfiguration for Large-Scale Reliable Storage Systems

Article

Published in 01/01/2012

Authors

Rodrigo Rodrigues, Barbara Liskov, Kathryn Chen, Moses Liskov, David A. Schultz,