Volume 20,
Number 1,
2007
Model-Based Systems
- Claudia Picardi, Paulo Salles, Franz Wotawa:
An introduction to model-based systems.
1-6
Electronic Edition (link) BibTeX
- Rafael Ceballos, María Teresa Gómez López, Rafael M. Gasca, Carmelo Del Valle:
A compiled model for faults diagnosis based on different techniques.
7-16
Electronic Edition (link) BibTeX
- Gianluca Torta, Pietro Torasso:
On the role of modeling causal independence for system model compilation with OBDDs.
17-26
Electronic Edition (link) BibTeX
- Gianfranco Lamperti, Marina Zanella, Davide Zanni:
Incremental processing of temporal observations in Model-Based Reasoning.
27-37
Electronic Edition (link) BibTeX
- Gabriela Calderón-Espinoza, Joaquim Armengol, Josep Vehí, Esteban R. Gelso:
Dynamic diagnosis based on interval analytical redundancy relations and signs of the symptoms.
39-47
Electronic Edition (link) BibTeX
- Bert Bredeweg, Paulo Salles, Tim Nuttle:
Using exogenous quantities in qualitative models about environmental sustainability.
49-58
Electronic Edition (link) BibTeX
- Marta Domingo, Núria Agell, Xavier Parra, Mónica Sánchez, Cecilio Angulo:
Using qualitative information to predict citizens' satisfaction.
59-65
Electronic Edition (link) BibTeX
Volume 20,
Number 2,
2007
Volume 20,
Number 3,
2007
Constraint Programming for Planning and Scheduling
- Olli Kamarainen, Hani El Sakkout:
A framework for constructing complete algorithms based on local search.
135-150
Electronic Edition (link) BibTeX
- Iván Dotú, Pascal Van Hentenryck:
Scheduling social tournaments locally.
151-162
Electronic Edition (link) BibTeX
- Nicola Policella, Amedeo Cesta, Angelo Oddi, Stephen F. Smith:
From precedence constraint posting to partial order schedules: A CSP approach to Robust Scheduling.
163-180
Electronic Edition (link) BibTeX
- Lina Khatib, Paul H. Morris, Robert Morris, Francesca Rossi, Alessandro Sperduti, Kristen Brent Venable:
Solving and learning a tractable class of soft temporal constraints: Theoretical and experimental results.
181-209
Electronic Edition (link) BibTeX
- Ian P. Gent, Christopher Jefferson, Tom Kelsey, Inês Lynce, Ian Miguel, Peter Nightingale, Barbara M. Smith, Armagan Tarim:
Search in the patience game 'Black Hole'.
211-226
Electronic Edition (link) BibTeX
Volume 20,
Number 4,
2007
- Susanne Hoche, Andreas Nürnberger, Peter Flach:
Network analysis in natural sciences and engineering.
229-230
Electronic Edition (link) BibTeX
- Daniel Bilar:
Callgraph properties of executables.
231-243
Electronic Edition (link) BibTeX
- Ciro Cattuto, Christoph Schmitz, Andrea Baldassarri, Vito Domenico Pietro Servedio, Vittorio Loreto, Andreas Hotho, Miranda Grahl, Gerd Stumme:
Network properties of folksonomies.
245-262
Electronic Edition (link) BibTeX
- Gabriela Kalna, Desmond J. Higham:
A clustering coefficient for weighted networks, with application to gene expression data.
263-271
Electronic Edition (link) BibTeX
- Goran Z. Markovic, Dusan Teodorovic, Vladanka S. Acimovic-Raspopovic:
Routing and wavelength assignment in all-optical networks based on the bee colony optimization.
273-285
Electronic Edition (link) BibTeX
- Rami Puzis, Yuval Elovici, Shlomi Dolev:
Finding the most prominent group in complex networks.
287-296
Electronic Edition (link) BibTeX
- Ronald L. Westra, Goele Hollanders, Geert Jan Bex, Marc Gyssens, Karl Tuyls:
The pattern memory of gene-protein networks.
297-311
Electronic Edition (link) BibTeX
Copyright © Tue Nov 18 19:36:34 2008
by Michael Ley (ley@uni-trier.de)
