Login

In Proceedings

Detection of a Large Number of Overlapping Ellipses

InProceedings

Published in 01/12/2008

Authors

A. Fernandes, G. Bebis,

Reasoning on the Web with Open and Closed Predicates

InProceedings

Published in 01/12/2008

Authors

Gerd Wagner, Adrian Giurca, Ion-Mircea Diaconescu, Grigoris Antoniou, Anastasia Analyti, Carlos Viegas Damásio,

Identification of Oceanic Eddies in Satellite Images

InProceedings

Published in 01/12/2008

Authors

Armando Fernandes, A. Fernandes,

Utilização da programaçãao declarativa para processamento do CETEMPúblico

InProceedings

Published in 01/11/2008

Authors

Agostinho Monteiro, Diana Santos, J. Barbas, Nuno C Marques, Nuno Cardoso,

Probabilistic continuous constraint satisfaction problems

InProceedings

Published in 01/11/2008

Authors

Elsa Carvalho, Jorge Cruz, Pedro Barahona,

On the Integration of Singleton Consistencies and Look-Ahead Heuristics

InProceedings

Published in 01/11/2008

Authors

Marco Correia, Pedro Barahona,

Using Quantitative Aspects of Alignment Generation for Argumentation on Mappings

InProceedings

Published in 01/10/2008

Authors

Antoine Isaac, Shenghui Wang, Paulo Quaresma,

Towards Solving a System of Pseudo Boolean

InProceedings

Published in 01/10/2008

Authors

Valentin Mayer-Eichberger,

Value Orderings based on Solution Counting

InProceedings

Published in 01/10/2008

Authors

Jean Christoph Jung,

Using Indexed Finite Set Variables for Set Bounds Propagation

InProceedings

Published in 01/10/2008

Authors

Ruben Viegas, H. Geffner, Marco Correia, R. Prada, Pedro Barahona, I. Machado Alexandre, Francisco Azevedo, N. David,