Login

In Proceedings

Reliability and Imprecision

InProceedings

Published in 01/01/2005

Authors

Fitelson, Gregory Wheeler, Sakar,

SEIS: A Decision Support System for Optimizing Spacecraft Operations Strategies

InProceedings

Published in 01/01/2005

Authors

Marta Pantoquilho, Nuno Viana, R. Ferreira, João Moura Pires, A. Donati, A. Baumgartner, F. D. Marco, T. Hormigo,

CaSPER: A Programming Environment for Development and Integration of Constraint Solvers

InProceedings

Published in 01/01/2005

Authors

Francisco Azevedo, Marco Correia, Pedro Barahona, Francisco Azevedo,

The Well Supported Semantics for Multidimensional Dynamic Logic Programs

InProceedings

Published in 01/01/2005

Authors

Federico Banti, Chitta Baral, José Júlio Alferes, Gianluigi Greco, Antonio Brogi, Nicola Leone, P. Hitzler, Giorgio Terracina,

Constrained XSL Formatting Objects for Adaptive Documents

InProceedings

Published in 01/01/2005

Authors

Gil Loureiro, Peter R. King, Francisco Azevedo,

Using Octave to Introduce Programming to Technical Science Students

InProceedings

Published in 01/01/2005

Authors

Nuno C Marques, Nuno C Marques, Francisco Azevedo, Francisco Azevedo, Carmen Morgado, Carmen Morgado,

An Intelligent System for Manufacturing Fibre Optic Components

InProceedings

Published in 01/01/2005

Authors

D T Pham, D.T. Pham, Marco Castellani, E E Eldukhri, A J Soroka,

Preferential theory revision

InProceedings

Published in 01/01/2005

Authors

Luís Moniz Pereira, Pierangelo Dell'Acqua, Luís Moniz Pereira, Gregory Wheeler,

Modelling Hybrid Control Systems with Behaviour Networks

InProceedings

Published in 01/01/2005

Authors

J. Filipe, Pierangelo Dell'Acqua, Anna Lombardi, J.-L. Ferrier, Luís Moniz Pereira, J. A. Cetto,

A Temporal Programming Language for Heterogeneous Information Systems

InProceedings

Published in 01/01/2005

Authors

Maurizio Gabbrielli, Vitor Nogueira, Gopal Gupta, Salvador Abreu,